See doc/ReleaseNotes.text, since the release notes are now
treated as part of the documentation.