breaking docusaurus

docusaurus.diff

diff --git a/website/docusaurus.config.js b/website/docusaurus.config.js
index f443d727..120445b7 100644
--- a/website/docusaurus.config.js
+++ b/website/docusaurus.config.js
@@ -309,11 +309,12 @@ async function createConfig() {
     defer: true,
   });

-  config.scripts.push({
+  /*
+    * config.scripts.push({
     src: `${config.baseUrl}z3-built.js`,
     type: "text/javascript",
     defer: true,
-  });
+  }); */

   return config;
 }