chiark / gitweb /
config: a bit more debugging