rename workspaces; add bundle analyser

Author: joneugster

client/package.json

@@ -48,13 +48,15 @@
     "memfs": "^4.51.1",
     "typescript": "^5.9.3",
     "vite": "^7.3.1",
+    "vite-bundle-analyzer": "^1.3.9",
     "vite-plugin-node-polyfills": "^0.25.0",
     "vite-plugin-static-copy": "^3.2.0",
     "vite-plugin-svgr": "^4.5.0",
     "wait-on": "^9.0.4"
   },
   "scripts": {
     "dev": "cross-env NODE_ENV=development vite --host",
+    "analyse": "NODE_OPTIONS=--max-old-space-size=8192 npx vite-bundle-analyzer",
     "build": "cross-env NODE_ENV=production vite build",
     "translate": "npx i18next-scanner --config i18next-scanner.config.cjs"
   }

client/vite.config.ts

@@ -29,14 +29,14 @@ export default defineConfig({
       targets: [
         {
           src: [
-            normalizePath(path.resolve(__dirname, '../node_modules/lean4monaco/node_modules/@leanprover/infoview/dist/*')),
+            normalizePath(path.resolve(__dirname, '../node_modules/@leanprover/infoview/dist/*')),
             normalizePath(path.resolve(__dirname, '../node_modules/lean4monaco/dist/webview/webview.js')),
           ],
           dest: 'infoview'
         },
         {
           src: [
-            normalizePath(path.resolve(__dirname, '../node_modules/lean4monaco/node_modules/@leanprover/infoview/dist/codicon.ttf'))
+            normalizePath(path.resolve(__dirname, '../node_modules/@leanprover/infoview/dist/codicon.ttf'))
           ],
           dest: 'assets'
         }

cypress/TestGame/.i18n/en/Game.pot

@@ -1,7 +1,7 @@
 msgid ""
-msgstr "Project-Id-Version: Game v4.29.1\n"
+msgstr "Project-Id-Version: Game v4.33.1\n"
 "Report-Msgid-Bugs-To: \n"
-"POT-Creation-Date: 2026-04-24\n"
+"POT-Creation-Date: 2026-08-21\n"
 "Last-Translator: \n"
 "Language-Team: none\n"
 "Language: en\n"