chiark / gitweb /
make use of logging API wherever appropriate