chiark / gitweb /
various cleanups and docs improvements