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