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