We have a warning about the release notes being pre-release, but that doesn't get removed when a release is made. We should fix that.