chiark / gitweb /
move some logging to the info level