Release notes/1.31/additions

Possible additions to the 1.31 release notes. Generated by running a script that looked at all commits in 1.31 that weren't present in 1.30, finding Bug: markers in the commit messages, and then seeing which ones were missing from the existing release notes. Warning: long list.|