This page is made using Org Mode 's publishing facility. The repository is public. The style is Simple.css with a few local tweaks. The font is Source Serif and Source Code Pro for monospace .
The site is static, does not use external resources and does not set any cookies.
Published: 2022-12-28