--- a/Admin/components/main Mon Feb 06 14:54:15 2023 +0100
+++ b/Admin/components/main Mon Feb 06 15:04:21 2023 +0100
@@ -35,7 +35,7 @@
stack-2.7.3
vampire-4.6
verit-2021.06.2-rmx
-vscode_extension-20220829
+vscode_extension-20230206
vscodium-1.70.1
xz-java-1.9
z3-4.4.0_4.4.1