chiark / gitweb /
copyright dates, contact details, and similar admin fixes