chiark / gitweb /
README: update header line