Re: [GHC] #9145: hp2ps produces odd negative sawtooth