Release notes

Each page is generated from the Markdown body of the matching GitHub Release. Publishing, editing or deleting a release is reflected the next time the website deploys.