Updates to generated HTML are automated using GitHub Actions. On each push to
the main branch, the index and all registries will be regenerated and pushed
to the gh-pages branch.
See .github/workflows/auto-publish.yml for details on how this is done.