Merge branch 'main' into update_site

Author: Quafadas

.devcontainer/devcontainer.json

@@ -23,7 +23,7 @@
   // // Features to add to the dev container. More info: https://containers.dev/features.
   "features": {
     "ghcr.io/devcontainers/features/java:1": {
-      "version": 17
+      "version": 21
     },
     "ghcr.io/devcontainers-contrib/features/scalacli-sdkman:2":{},
     "ghcr.io/guiyomh/features/just:0": {},
@@ -32,7 +32,7 @@
   },
 
   // Try do do as much as possible in the image, so that the container starts up quickly
-  "onCreateCommand": "mill `__.prepareOffline && mill __.compiledClassesAndSemanticDbFiles"
+  "onCreateCommand": "mill __.prepareOffline && mill __.compiledClassesAndSemanticDbFiles"
 
   // // Use 'forwardPorts' to make a list of ports inside the container available locally.
   // "forwardPorts": [],