"Most of it is done viaGitHub workflows. The static web pages are generated withMaterial for MkDocs inbuild.yml, and then deployed to Firebase (hosting for the main site) and GitHub Pages (for a mirror and pull request previews) indeploy-prod.yml. There are also some other things going on behind the scenes (MkDocs-specific setup and overrides, testing of certain code snippets, etc). In principle, someone enthusiastic enough (not me at the moment) could write about it on thewiki, which is underutilised."