Travis: Hang on, do we even need the PPA now?
Travis: Hang on, do we even need the PPA now?

I think we needed it before, because the package was for not
whitelisted, but nowadays the Travis build machines are fully
virtualised anyway, and not just Docker containers, right?  So they
wouldn't even be using the package safelist
https://github.com/travis-ci/apt-package-safelist anymore because
there's no need to be afraid of sudo?

anko/hudkit,anko/hudkit,anko/hudkit