Comment by kbelder

That shouldn't be forgotten. There was a time when the 1% or so of users that ran Opera were getting a much better experience than any other browser. It was far superior for several years, until all of its innovations were copied by other vendors.