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