Should we now add Bing market share to Google market share?