chiark / gitweb /
CHANGES.html, README: Update the administrivia.