Btw, it would be very nice to list these PPAs on the driver page. Where are
they documented? It's not like I can build the driver for myself without
source.