"Most of it is done via GitHub workflows. The static web pages are generated with Material for MkDocs in build.yml, and then deployed to Firebase (hosting for the main site) and GitHub Pages (for a mirror and pull request previews) in deploy-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 the wiki, which is underutilised."