Re: [GHC] #8452: hp2ps manage does not document -c