import '/core.js'; await pyscript.env.pyodide; document.documentElement.classList.add('ready');