I'd rather Mozilla don't. Leaves them out of a whole lot of mess. DuckDuckGo is there to fill that void.