Things to add to the release notes for the next full release: