chiark / gitweb /
man: replace STDOUT with standard output, etc.