Now it all makes sense. I thought Opera was an alternative. Resistance is futile? Opera, if you hear this, please let me choose my default search engine, please! Until then I am using FireFox, Safari, and even Chrome, all of which allow me to set the default search engine of my choosing.