src/Tools/VSCode/extension/package.json

--- a/src/Tools/VSCode/extension/package.json	Wed Feb 26 15:41:27 2020 +0100
+++ b/src/Tools/VSCode/extension/package.json	Wed Feb 26 16:03:29 2020 +0100
@@ -14,13 +14,13 @@
     "publisher": "makarius",
     "license": "MIT",
     "repository": {
-        "url": "https://isabelle.in.tum.de/repos/isabelle"
+        "url": "https://isabelle-dev.sketis.net"
     },
     "engines": {
         "vscode": "^1.32.0"
     },
     "categories": [
-        "Languages"
+        "Programming Languages"
     ],
     "activationEvents": [
         "onLanguage:isabelle",