vscode-pets: 1.25.1 -> 1.34.0

works around compatibility issues between mypy package and (old)
extension

home/modules/vscodium.nix

@@ -15,6 +15,7 @@
         with pkgs.vscode-extensions;
         [
           ms-python.python
+          ms-python.mypy-type-checker
           charliermarsh.ruff
           vscodevim.vim
           yzhang.markdown-all-in-one
@@ -32,17 +33,11 @@
             sha256 = "sha256-Jsfa1SrK1H0QwlJPEBdrb0gfGiIYoXdtIP32/4g+ceM=";
           }
           # TODO: probably available in nixpkgs soonish?
-          {
-            name = "mypy-type-checker";
-            publisher = "ms-python";
-            version = "2023.3.12681020";
-            sha256 = "sha256-rhed7CQlvxksVCGc9nPU2oYQWtXcAV5TzuG63e8Y3zM=";
-          }
           {
             name = "vscode-pets";
             publisher = "tonybaloney";
-            version = "1.25.1";
-            sha256 = "sha256-as3e2LzKBSsiGs/UGIZ06XqbLh37irDUaCzslqITEJQ=";
+            version = "1.34.0";
+            sha256 = "sha256-+4D9QKMB0BsIm8qy4ZNC5H87V21wgLD7ztrYJ/R3UJQ=";
           }
         ];
       userSettings =
@@ -93,9 +88,9 @@
           "python.experiments.enabled" = false;
           "python.languageServer" = "Jedi"; # don't use proprietary pylance server
           "python.defaultInterpreterPath" = lib.getExe defaultPython;
-          "mypy-type-checker.path" = [ "${pkgs.python3Packages.mypy}/bin/dmypy" ];
+          #"mypy-type-checker.path" = [ "${pkgs.python3Packages.mypy}/bin/dmypy" ];
           "mypy-type-checker.preferDaemon" = true;
-          "mypy-type-checker.importStrategy" = "fromEnvironment";
+          #"mypy-type-checker.importStrategy" = "fromEnvironment";
           "mypy-type-checker.args" = [ "--ignore-missing-imports" ];
           "ruff.path" = [ (lib.getExe pkgs.ruff) ];
           "gitlens.telemetry.enabled" = false;