Nachdem ich in einigen Foren gestöbert habe, ist mir eine einfache, aber wirksame Lösung untergekommen: den Drucker mit dem Treiber des HP Laserjet 3055 PCL5 installieren
Windows 7/8: über „Geräte und Drucker -> Drucker hinzufügen -> lokaler Drucker -> vorhandener Anschluss -> generischer IEEE1284.4“
Windows 10: „Drucker & Scanner -> Drucker & Scanner hinzufügen -> Der gewünschte Drucker ist nicht aufgelistet -> Lokaler Drucker mit manuellen Einstellungen -> Vorhandenen Anschluss verwenden -> USB Virtueller Druckerport für USB -> HP Laserjet 3055 PCL5“ – wenn der dort nicht gelistet ist, auf „Windows Update“ klicken und warten bis die Liste der verfügbaren Geräte aktualisiert wurde.

Funktioniert wieder alles wunderbar, lediglich den Drucker selbst muss man nach der Installation umbenennen – Rechtsklick auf den Drucker (bzw. auf Windows 10: Klick auf den Drucker -> Verwalten), Druckereigenschaften und oben wieder HP Laserjet 1010 reinschreiben. Fertig.