chiark / gitweb /
tone down logging