chiark / gitweb /
Cleanup a little.