Merge branch 'master' into react-19

Author: RichDom2185

package.json

@@ -61,7 +61,7 @@
     "hastscript": "^9.0.0",
     "i18next": "^25.0.0",
     "i18next-browser-languagedetector": "^8.0.0",
-    "immer": "^10.1.1",
+    "immer": "^9.0.21",
     "java-slang": "^1.0.13",
     "js-cookie": "^3.0.5",
     "js-slang": "^1.0.84",