chiark / gitweb /
man: extend man pages a little