chiark / gitweb /
man: add missing options to various man pages