chiark / gitweb /
NEWS: fix a few typos and inconsistencies