/doc/bugs/git_annex_help_options_not_piped_through_PAGER/