The Opera GP was talking about is dead, it is now just a skin on top of Chromium. And Firefox, the only alternative to the WebKit/Blink monopoly today, has a tiny market share compared to its peak. They are definitely not doing fine.