chiark / gitweb /
main: add a few more useful diagnostic log messages