chiark / gitweb /
pctb: print output from server to stderr too