chiark / gitweb /
logs-show: various cleanups