chiark / gitweb /
activate: reduce log settings to normal