When Opera became just another Chromium skin I switch to Firefox. The point for me was Presto, that Opera was really well put together in terms of UI was just a bonus. The developer tools in Opera was better than what shipped in Chrome and Firefox, so switching definitely felt like a downgrade.

Someone, I don't know who, but I assume the new Opera, is still keeping the Opera Mini proxy servers running. It show up in our logs frequently enough that we noticed and have special whitelisting for them to byparse some rate limiting.