script to auto-update NEWS.md cross-references
Merge pull request #7405 from stevengj/NEWS

RFC: script to auto-update NEWS.md cross-references