[jlarocco]

The saddest part about that is that opera was the first browser I knew of that allowed changing the default search engine in the first place, about 13 years ago.