chiark / gitweb /
man: various man page updates