Microsoft’s Second Favorite Browser Is Opera, It Seems