How the site works Created 2025-09-07, last modified 2025-11-30. Visibility: public This information has changed over time, so here's the history: The old site docs Switching to static site generation