These docs are generated (see build.sh or .github/workflows/deploy-docs.yml) and pushed to the gh-pages branch. https://docs.micropythonos.com/