I found my old ppd file on my other computer! The only difference from the shipped version is the Postscript "LanguageLevel", which is set to "2" instead of "3". Fortunately, the PPD is supplied under an MIT license, so I was able to attach it to this comment in case it is useful to somebody else.
** Attachment added: "PPD file produces clean postscript output on HP CP2025dn color laser printer" https://bugs.launchpad.net/ubuntu/+source/hplip/+bug/691766/+attachment/3140611/+files/HP2020.PPD -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/691766 Title: HP Color LaserJet cp2025dn not using preferred driver To manage notifications about this bug go to: https://bugs.launchpad.net/hplip/+bug/691766/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs