diff -r 90678a1929a3 -r 105820b79d8f src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Fri Feb 25 15:33:06 2022 +0100
+++ b/src/Tools/VSCode/extension/package.json	Fri Feb 25 15:47:47 2022 +0100
@@ -1,5 +1,5 @@
 {
-    "name": "isabelle-vscode",
+    "name": "isabelle",
     "displayName": "Isabelle/VSCode",
     "description": "Isabelle/VSCode Prover IDE",
     "keywords": [