omit somewhat pointless integrity check;

--- a/src/Tools/VSCode/src/vscode_main.scala	Fri Mar 25 16:35:15 2022 +0100
+++ b/src/Tools/VSCode/src/vscode_main.scala	Fri Mar 25 16:40:48 2022 +0100
@@ -162,12 +162,6 @@
           progress.echo("Installed Isabelle/VSCode extension " + vsix_path.expand +
             "\ninto directory: " + dir)
       }
-      val manifest = extension_manifest()
-      if (manifest.shasum != new_shasum) {
-        progress.echo_warning(
-          "Isabelle/VSCode extension " + vsix_path.expand +
-            "\ndisagrees with project sources" + extension_dir.expand)
-      }
     }
   }