[cups] Problem with cups selecting manual tray on HP laserjet

[Steinar Bang]

>>>>> Helge Blischke <helgeblischke-S0/GAf8tV78 at public.gmane.org>:

> Well, both of your PPDs are quite correct. The second one (saved after printing a job)
> differs from the former only by a set of statements with empty bodies (double quotes with 
> possibly only spaces between them).

> So, my guess is that the default input slot („auto“) might be differently interpreted
> by the printer’s firmware, possibly depending on the usage history.

Yes, but one thing worries me: why did the paper feed selection suddenly
start working after more than half a year of not working?

And will it stop working as suddenly again.

But at least I've learnt where the PPD file comes from (it comes from
the printer).

FWIW I've printed a two page google docs document from a vivaldi
browser, and that came out just fine (and paper was picked from the
regular tray).

Thanks for your help! :-)