consider gt_option_hide_default() for manpages
Merge pull request #503 from gordon/manpages

consider gt_option_hide_default() for manpages