And still, Bing will remain irrelevant.