I agree. I certainly don't feel sorry for Samsung or Google. But for us consumers, it means less choice. Which is a pity.