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