Comment 54 for bug 992807

> I emailed the guy who's in charge of the PPA...

Thank you, Peter Sewell. You beat me to it! At least we know it's in hand.