Comment 67 for bug 1639180

> @eggert-cs, have you tried the "ppa:graphics-drivers/ppa" PPA?

No, sorry, I just followed the recipe in #20 to downgrade from 304.132 to 304.131, plus the file /etc/apt/preferences.d/local-nvidia-quirks as described in #18 to make sure 304.132 is not reinstalled as part of an upgrade. This desktop is being used by others for their daily work, so I'm conservative about making changes to it. Is there a reliable recipe for trying out ppa:graphics-drivers/ppa for a little bit and then reverting to what I have now?