This is a (renamed) copy of the LaserJet 4PS definition, which has been
reported to drive the LaserJet 2500C printer.
