fix-manpage
allow_short_persnickety_option
device_ids
