chiark / gitweb /
mess/: Delete the old mess.