chiark / gitweb /
Manpages: Improve formatting of alternative options, etc.