Hmm, so I downloaded the deb file, double clicked it, and it did install itself. I wonder though, why it won’t do it automatically.