chiark / gitweb /
tweaking for release