Re: People using Opera 12.17
Opera, by default, doesn't do an awful lot of the shit that other browsers do. Not saying it's invincible, but plugins can be made press-to-play by default and easily blocked - and it's been that way for years.
When exploits came out for other browsers, e.g. storing hundreds of megs of data in site-specific storage, Opera already had limits and UI for handling the situation that no other browser did (and could crash your other browser or reveal info or just plain stop everything working).
When you think about it, rendering HTML isn't much of a risk, security wise, if you just handle it as untrusted data. Worse that happens is you hit a resource limit, done properly.
Again, not saying Opera was invincible, but it was taking account of possible attacks years before it was revealed that other browsers all fell victim to them and had to be hastily patched.