It's good that our tech giants are competing, and not colluding.