chiark / gitweb /
doc: fix newly-arisen inconsistencies in NEWS