Monopolies are very expensive for the society.

I am not very skilled in economics but i feel like software scales really well, so the supply costs should be more flat. And maybe even negative. Meaning that the producer surplus will actually be a lot larger than the heuristic example here. Meaning that Gates has robbed us even more.