Update 9.0 release notes for changes since beta4.

Note: as usual, bug fixes that were also applied in back branches are not
considered material to include in a new major release's notes.