chiark / gitweb /
man: extend manual page documentation