chiark / gitweb /
cut out redundant junk