* etc/NEWS: git version number issues don't need manual changes.