Colophon

Documentation is built with mkdocs-material using github actions (.github/workflows/ci.yml). GitHub Pages setting is to "deploy from branch" for "gh-pages" on "/ (root)".