The release notes used to be an appendix in the manual. After converting to markdown that appendix got lost. This commit reintroduces the release notes into the manual. (cherry picked from commit 6fc71dc563)
6fc71dc563
