chiark / gitweb /
logs-show: add short-precise mode with us timestamps