vanadium/home: remove packages I don't use

nix/configurations/vanadium/home/dev.nix

@@ -6,12 +6,20 @@
 }:
 {
   home.packages = [
+    pkgs.watchexec
+
+    # Nix
+    pkgs.nurl # fetcher made easy
+    pkgs.nix-diff # debug cache miss
+    pkgs.nix-tree # analyze closure
+    pkgs.nix-which
+
     # preview markdown
     pkgs.python3Packages.grip
 
     # For {nix,haskell} contribution
     pkgs.gh
-    pkgs.act
+    # pkgs.act
     pkgs.nixfmt-rfc-style
     pkgs.nix-doc
     pkgs.nixpkgs-review
@@ -19,6 +27,7 @@
 
     pkgs.fx # json viewer
 
+    # LSPs
     pkgs.lua-language-server
     pkgs.stylua # lua
     pkgs.nil # nix
@@ -28,9 +37,7 @@
     pkgs.vscode-langservers-extracted # JSON etc
     pkgs.yaml-language-server # yaml
     pkgs.cornelis # agda
-
-    # bash
-    pkgs.shfmt
+    pkgs.shfmt # bash
     pkgs.nodePackages.bash-language-server
 
     # ghc
@@ -59,14 +66,6 @@
 
   programs.gpg.enable = true;
 
-  # programs.vscode = {
-  #   enable = true;
-  #   profiles.default.extensions = [
-  #     pkgs.vscode-extensions.redhat.java
-  #     pkgs.vscode-extensions.vscjava.vscode-java-pack
-  #   ];
-  # };
-
   nix = {
     settings = {
       extra-substituters = [