Ich wollte mir die manuelle Installation von hplip ja eigentlich nicht antun, habe es jetzt aber dennoch getan. Und siehe da: mein Drucker ist jetzt mit all seinen Vorgängern in der Druckerliste zu finden, wird tadellos eingerichtet und druckt prächtig.
Vielen Dank für die Hilfe ☺