Decided to give the Opera browser a try today, since I do believe that competition between different browsers is a Good Thing. Anyway, I managed to mess up a bit and installed the wrong "ad-blocking" addon (Addblockplus instead of Add-block...).
So, how on earth do I get rid of that addon? I can find no way to get rid of it. Google does not help me; I cannot find it anywhere. Any ideas?