more aggressive activation;

--- a/src/Tools/VSCode/extension/package.json	Mon Feb 28 13:10:22 2022 +0100
+++ b/src/Tools/VSCode/extension/package.json	Mon Feb 28 14:24:39 2022 +0100
@@ -23,14 +23,7 @@
         "Programming Languages"
     ],
     "activationEvents": [
-        "workspaceContains:ROOT",
-        "workspaceContains:ROOTS",
-        "onLanguage:isabelle",
-        "onLanguage:isabelle-ml",
-        "onLanguage:bibtex",
-        "onCommand:isabelle.state",
-        "onCommand:isabelle.preview",
-        "onCommand:isabelle.preview-split"
+        "onStartupFinished"
     ],
     "main": "./out/src/extension",
     "contributes": {