Release notes

Release notes are published on GitHub Releases.