Hacker News Reader

I'd like to know what the pros and cons of Opera switching to WebKit instead of Gecko are. Was Gecko ever a possibility?

Opera makes most of its revenue on mobile, and these days, mobile web = webkit.

I don't think gecko was ever a serious choice for them.