chiark / gitweb /
log: make color/location logging optional