anchor.diff:      # FIXME: smlnj
       # NOTE: smlnj needs MaxOSX10.9.sdk
       #       Use https://github.com/devernay/xcodelegacy to install it.
  -    polyml
  +    # polyml
   
       # Text Editing
       emacs # NOTE: use Homebrew for now
   
       # Theorem Proving
       # FIXME: AgdaStdlib
  -    coq
  +    # coq
   
       # Tools
       aspell
  -    aspellDicts.de
  +    # aspellDicts.de
       aspellDicts.en
       aspellDicts.es
  -    aspellDicts.fr
  -    aspellDicts.it
  +    # aspellDicts.fr
  +    # aspellDicts.it
       aspellDicts.sv
       autojump
  -    automake
  -    awscli
  +    # automake
  +    # awscli
       coreutils
       # TODO: csvprintf (add package)
  -    fpp
  +    # fpp
       gawk
       gnumake
       gnused
       gnutar
  -    highlight
  +    # highlight
       htop
       moreutils
       # mosh
  
positive.code:     # asciidoc
      # docbook5
      # docbook5_xsl
      ghostscript
      groff
      latex2html
  
      # Engraving
      # FIXME: frescobaldi
  
negative.code:   # '';
  
    programs.fish.interactiveShellInit = ''
      # function hicat -d 'Hackish hicat clone via highlight'
      #   highlight -O xterm256 $argv | less -cR
      # end
  
      eval (direnv hook fish)
  
  