Release notes

Generated in a later phase

This page will be generated at build time from GitHub Releases (Phase 4 of docs/docs-site-plan.md in the repository). Until then, see the Releases page on GitHub directly.