chiark / gitweb /
INSTALL: Add missing credit and copyright year