chiark / gitweb /
server: trace a bit more