UPDATE! HOLD YOUR HORSES! THIS MIGHT NOT WORK! STILL REQUIRES MORE INVESTIGATION! DO NOT USE! AT LEAST NOT IN PRODUCTION! I AM SO SORRY! IT WAS MY FAULT! HP has a strange way of (not) distributing proper drivers for their printers. This is oddly true with reasonably modern “enterprise” printers. To install one of those, you either need the HP Printer Drivers 5.1 for macOS (outdated for 12.0.1) or the even less desirable HP Easy Start package.