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