diff --git a/home/programs/default.nix b/home/programs/default.nix
index ca168bf..242d472 100644
--- a/home/programs/default.nix
+++ b/home/programs/default.nix
@@ -7,7 +7,6 @@
     ./element
     ./git
     ./ktouch
-    ./lean4
     ./libreoffice
     ./maestral
     ./neovim
diff --git a/home/programs/dolphin/default.nix b/home/programs/dolphin/default.nix
index 4c465a5..b696a45 100644
--- a/home/programs/dolphin/default.nix
+++ b/home/programs/dolphin/default.nix
@@ -4,6 +4,6 @@
   home.packages = with pkgs; [
     libsForQt5.dolphin
     libsForQt5.dolphin-plugins
-    samba
+    gnome.nautilus
   ];
 }
diff --git a/home/programs/lean4/default.nix b/home/programs/lean4/default.nix
deleted file mode 100644
index b1a0ad4..0000000
--- a/home/programs/lean4/default.nix
+++ /dev/null
@@ -1,5 +0,0 @@
-{ pkgs, ... }:
-
-{
-  home.packages = with pkgs; [ lean ];
-}
diff --git a/home/programs/neovim/default.nix b/home/programs/neovim/default.nix
index 7c566e1..b244a9e 100644
--- a/home/programs/neovim/default.nix
+++ b/home/programs/neovim/default.nix
@@ -83,7 +83,7 @@ in {
       cabal-install
       haskellPackages.fourmolu
       # Lean
-      lean4
+      lean
       # Python
       ruff-lsp
       nodePackages.pyright
diff --git a/home/programs/neovim/lua/plugins/lean-nvim.lua b/home/programs/neovim/lua/plugins/lean-nvim.lua
index 91fa23e..ab34e6c 100644
--- a/home/programs/neovim/lua/plugins/lean-nvim.lua
+++ b/home/programs/neovim/lua/plugins/lean-nvim.lua
@@ -1,10 +1,11 @@
 return {
-  'Julian/lean.nvim',
-  event = { 'BufReadPre *.lean', 'BufNewFile *.lean' },
+  "Julian/lean.nvim",
+  event = { "BufReadPre *.lean", "BufNewFile *.lean" },
+
   dependencies = {
-    'neovim/nvim-lspconfig',
-    'nvim-lua/plenary.nvim',
-    'hrsh7th/nvim-cmp',
+    "neovim/nvim-lspconfig",
+    "nvim-lua/plenary.nvim",
+    -- you also will likely want nvim-cmp or some completion engine
   },
 
   -- see details below for full configuration options
@@ -13,5 +14,5 @@ return {
       on_attach = on_attach,
     },
     mappings = true,
-  }
+  },
 }
diff --git a/home/programs/neovim/lua/plugins/which-key-nvim.lua b/home/programs/neovim/lua/plugins/which-key-nvim.lua
index 8a8d3c0..d9c8f6e 100644
--- a/home/programs/neovim/lua/plugins/which-key-nvim.lua
+++ b/home/programs/neovim/lua/plugins/which-key-nvim.lua
@@ -1,7 +1,6 @@
 return {
   {
     "folke/which-key.nvim",
-    optional = true,
     event = "VeryLazy",
     init = function()
       vim.o.timeout = true