Für Verbrauchsmaterialen gibt es ein eigenes Forum: Peripherie: Tinte, Toner, Papier
/usr/bin/system-config-printer > root-Passwort > Richtlinien >
Häkchen bei aktiviert setzen. Funktioniert.
Ich vermute, das ist nichts anderes, als den Drucker über das HP-Tool
oder CUPS fortzusetzen, aber es braucht root-Rechte. (Nach denen
fragt das HP-Tool nicht und in CUPS konnte ich über das Telefon nicht
zur richtigen Schaltfläche lotsen.)
Dank an BasisDemokrat für die Lösung und an alle anderen für die
Ratschläge.
mfg,
ad-