Thank you for your report. Resetting the printing system with Printer Setup Repair permitted me, too, to reinstall the Adobe PDF driver and make it finish printing files. PSR, however, was unusable when I tried to delete and then add an Adobe PDF printer with it, before resetting. PSR demanded a URI that I did not know, and a device from a list of manufacturers that excluded Adobe. So I think PSR is making a good attempt to conquer the printing system but needs some further work before it is fully functional.