chiark / gitweb /
move some logging from dbg() to info()