This site is hosted on GitHub Pages. It sets no cookies, loads no third-party scripts and no external fonts. GitHub may log IP addresses of visitors, see GitHub’s privacy statement.

Details to follow.