chiark / gitweb /
man: Make options consistent