; * etc/NEWS: Tiny edit.