[jhc] darcs patch: Changing remaining references to jhc_man to man