fix-manpage
allow_short_persnickety_option
