update agda-mode vscode extension

Flake lock file updates:

• Updated input 'cask-fonts':
    'github:homebrew/homebrew-cask-fonts/3c9d137956343e190e0feb319613de9ab50cd8c0' (2024-02-15)
  → 'github:homebrew/homebrew-cask-fonts/16aa7909152e49d7016c8811d98cf70c83d46cb0' (2024-02-18)
• Updated input 'darwin':
    'github:lnl7/nix-darwin/44f50a5ecaab72a61d5fd8e5c5717bc4bf9c25dd' (2024-02-12)
  → 'github:lnl7/nix-darwin/0e6857fa1d632637488666c08e7b02c08e3178f8' (2024-02-18)
• Updated input 'home-manager':
    'github:nix-community/home-manager/3d6791b3897b526c82920a2ab5f61d71985b3cf8' (2024-02-15)
  → 'github:nix-community/home-manager/517601b37c6d495274454f63c5a483c8e3ca6be1' (2024-02-20)
• Updated input 'homebrew-cask':
    'github:homebrew/homebrew-cask/75f6b30c1d7b23c7984a93b53fc86b97df233157' (2024-02-16)
  → 'github:homebrew/homebrew-cask/f745777bfa3e7c6033d98f651f02a39f54eb939d' (2024-02-21)
• Updated input 'homebrew-core':
    'github:homebrew/homebrew-core/a008a7f04d026bb35b9aded0a427c6ee38aa8eb7' (2024-02-16)
  → 'github:homebrew/homebrew-core/a99f1e03226b7c72cbf5d62b56364999be0a764f' (2024-02-21)
• Updated input 'unstable':
    'github:nixos/nixpkgs/a4d4fe8c5002202493e87ec8dbc91335ff55552c' (2024-02-15)
  → 'github:nixos/nixpkgs/b98a4e1746acceb92c509bc496ef3d0e5ad8d4aa' (2024-02-18)

common/vscode.nix

@@ -13,6 +13,7 @@
       bbenoist.nix
       mkhl.direnv
       catppuccin.catppuccin-vsc
+      valentjn.vscode-ltex
     ] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
       {
         name = "theme-panda";
@@ -23,8 +24,8 @@
       {
         name = "agda-mode";
         publisher = "banacorn";
-        version = "0.4.1";
-        sha256 = "sha256-Zt2OifhS5BI0HcMZkKOa1gqV9Vpj0lIUR6VcHvX5M9o=";
+        version = "0.4.7";
+        sha256 = "sha256-gNa3n16lP3ooBRvGaugTua4IXcIzpMk7jBYMJDQsY00=";
       }
       {
         name = "yuck";

flake.lock

@@ -20,11 +20,11 @@
     "cask-fonts": {
       "flake": false,
       "locked": {
-        "lastModified": 1707957157,
-        "narHash": "sha256-RjcJgrLJ9Zed6XsRTYuq/yXOBm+K5AMGycOWWW8QIUI=",
+        "lastModified": 1708274562,
+        "narHash": "sha256-YVdflhd8BgKRs/rKlRx3D3hOhO5c1vs1DHDGOxfY4bE=",
         "owner": "homebrew",
         "repo": "homebrew-cask-fonts",
-        "rev": "3c9d137956343e190e0feb319613de9ab50cd8c0",
+        "rev": "16aa7909152e49d7016c8811d98cf70c83d46cb0",
         "type": "github"
       },
       "original": {
@@ -55,11 +55,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1707707289,
-        "narHash": "sha256-YuDt/eSTXMEHv8jS8BEZJgqCcG8Tr3cyqaZjJFXZHsw=",
+        "lastModified": 1708231718,
+        "narHash": "sha256-IZdieFWvhBkxoOFMDejqLUYqD94WN6k0YSpw0DFy+4g=",
         "owner": "lnl7",
         "repo": "nix-darwin",
-        "rev": "44f50a5ecaab72a61d5fd8e5c5717bc4bf9c25dd",
+        "rev": "0e6857fa1d632637488666c08e7b02c08e3178f8",
         "type": "github"
       },
       "original": {
@@ -128,11 +128,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1708031129,
-        "narHash": "sha256-EH20hJfNnc1/ODdDVat9B7aKm0B95L3YtkIRwKLvQG8=",
+        "lastModified": 1708451036,
+        "narHash": "sha256-tgZ38NummEdnXvxj4D0StHBzXgceAw8CptytHljH790=",
         "owner": "nix-community",
         "repo": "home-manager",
-        "rev": "3d6791b3897b526c82920a2ab5f61d71985b3cf8",
+        "rev": "517601b37c6d495274454f63c5a483c8e3ca6be1",
         "type": "github"
       },
       "original": {
@@ -144,11 +144,11 @@
     "homebrew-cask": {
       "flake": false,
       "locked": {
-        "lastModified": 1708086358,
-        "narHash": "sha256-h+afCxxV/FdfipQ/HpHhgkvbXgu9UfEgyrmfxr32ogA=",
+        "lastModified": 1708497918,
+        "narHash": "sha256-qd/VOBCZ4OCzO8uJ5ijOkR3LLkEOMhNySpTtAHubHNI=",
         "owner": "homebrew",
         "repo": "homebrew-cask",
-        "rev": "75f6b30c1d7b23c7984a93b53fc86b97df233157",
+        "rev": "f745777bfa3e7c6033d98f651f02a39f54eb939d",
         "type": "github"
       },
       "original": {
@@ -160,11 +160,11 @@
     "homebrew-core": {
       "flake": false,
       "locked": {
-        "lastModified": 1708085757,
-        "narHash": "sha256-u/rE6MjReC+34dT83BmRRSbtqWubg0hf/gRQoZ2Uh2E=",
+        "lastModified": 1708501733,
+        "narHash": "sha256-B+r/5SugXdw6+y3CejQdgI2qZLDQB3ROicoKOZX0RVE=",
         "owner": "homebrew",
         "repo": "homebrew-core",
-        "rev": "a008a7f04d026bb35b9aded0a427c6ee38aa8eb7",
+        "rev": "a99f1e03226b7c72cbf5d62b56364999be0a764f",
         "type": "github"
       },
       "original": {
@@ -341,11 +341,11 @@
     },
     "unstable": {
       "locked": {
-        "lastModified": 1707956935,
-        "narHash": "sha256-ZL2TrjVsiFNKOYwYQozpbvQSwvtV/3Me7Zwhmdsfyu4=",
+        "lastModified": 1708296515,
+        "narHash": "sha256-FyF489fYNAUy7b6dkYV6rGPyzp+4tThhr80KNAaF/yY=",
         "owner": "nixos",
         "repo": "nixpkgs",
-        "rev": "a4d4fe8c5002202493e87ec8dbc91335ff55552c",
+        "rev": "b98a4e1746acceb92c509bc496ef3d0e5ad8d4aa",
         "type": "github"
       },
       "original": {