The problem is that the driver doesn't install. Not from Windows and not from the manufacturer (HP). Can't install PDF drivers either (e.g. Microsoft print-to-pdf or others)
This has been going on for a month.
Windows 10 machine still works with this printer.