chiark / gitweb /
Clean some more files.