NEWS: Remove a lot of cruft from 7.1 release notes