Do we really need a 3rd party archive here?  And isn't there a proper PPA?