chiark / gitweb /
write HTML results etc. to debug files