chiark / gitweb /
tidy up a bit