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