chiark / gitweb /
mason diversion etc.