chiark / gitweb /
drop old colours thing