Imagine the loss to Google if every Firefox user’s default search engine wasn’t Google…