I think that change is just an internal detail cups cares about.
I've been just copying my /etc/cups/ppd/ files from one fedora to the
next for years now and printing keeps working (and seemed to work
in fedora 19 beta as well).
Thank-you for your comments, Tom.
Did any of those changes involve something as fundamental as the change from ps to pdf
that is happening here? And is your printer a GDI printer, a ps printer, or a pdf
printer? In other words, how good of a test is your experience?