chiark / gitweb /
debug output option