chiark / gitweb /
REAMDE, copyright: Correct locations for GPL, and contact info.