[severino]

That's what I was afraid of about that PPA (and every PPA I ever used): you can never be sure who's behind a PPA, and who may push an update there :-)