anchor.diff:  
   {
     home.packages = with pkgs; [
  +
  +    tlaplusToolbox
  +    scid-vs-pc
  +    stockfish
  +    emacs
  +    emacs-all-the-icons-fonts
  +    digikam
  +    android-studio
  +    zim
  +    lyx
  +    runelite
   
       # Considering:
       # passExtensions.pass-audit   # pass: auditing command
  
positive.code:     gksu # su frontend (GUI)
  
      # Textual applications
      diction # english linter
      libqalculate # calculator
      ranger # file manager
      hledger
  
      # Graphical applications
      anki  # flashcards (GUI)
      calibre # e-book manager (GUI)
      firefox
      hexchat # IRC client (GUI)
      insomnia # REST API client (GUI)
      nextcloud-client
      qalculate-gtk # calculator (GUI)
      qbittorrent # bittorrent client (GUI)
      qutebrowser # vi-like web browser (GUI)
  
negative.code:     zip unzip p7zip unrar # archive tools
  
      # Development
      jetbrains.idea-ultimate # IDE (GUI) (UNFREE)
      jetbrains.pycharm-professional # IDE (GUI) (UNFREE)
      # adoptopenjdk-hotspot-bin-11 maven3 # TODO nixify Java projects
      python3 # TODO nixify Python projects
      # coq # proof assistant (GUI) # TODO nixify Coq projects
      universal-ctags # source code indexer (TODO Vim tagbar dependency)
      # gnumake # TODO nixify projects
      # rustc cargo # TODO nixify Rust projects
      # gnumake # TODO nixify projects
      # nixops # TODO nixify NixOps projects
  
      # Security
      gnupg # openpgp
  