This website is a static site generated with a home-grown toolchain.
The pages are built by a Makefile-driven pipeline consisting of several
standalone tools:
PHP CLI used as a simple preprocessor
to include common files and generate navigation breadcrumbs