Releases and version history

For historical reasons, we don't use the GitHub "releases" list. Instead, the version history and releases are posted on the version history page of the documentation site.