chiark / gitweb /
various cleanups