[bugfix] Path fixes.

frontend/classic/js/index.js

@@ -15,7 +15,7 @@ const JsCoq = {
     backend: 'js',  /* 'js' or 'wa' */
 
     // js worker path, to be replaced soon
-    base_path: scriptDir ? `${scriptDir}../../../` : "./",
+    base_path: scriptDir ? `${scriptDir}../../` : "./",
 
     // Main entry point
     async start(...args) {

package.json

@@ -74,7 +74,7 @@
     "frontend",
     "backend/*.js",
     "backend/*.ts",
-    "backend/jsoo/*.bc.cjs",
+    "backend/jsoo/*.bc.js",
     "backend/wasm/*.bc",
     "backend/wasm/*.wasm",
     "coq-pkgs",