Nope, none of these work. Actually, rebooting was the first thing I tried, because it's what you do with Linux The problem is that I won't get a non-proxy connection for ages. And, I mean, I've read even on this forum people have been able to get app manager to work with proxy. As my major goal I want to achieve that, too. But for now, I would at least like to be able to manage my applications.