chiark / gitweb /
man: Document missing options