consider gt_option_hide_default() for manpages