That makes a lot of sense.
Since my old printer was an HP LaserJet, a few years old, and the new one is a newer model HP (not exactly an obscure printer), I was surprised that it didn't work right off the bat.
But the work-around worked.

Michael