chiark / gitweb /
Infra: add some more debugging