Tweaks to release notes
If someone also feels that credits should better go into the
release announcement, just nuke the last line of that paragraph.