chiark / gitweb /
resolved: add more debug logging