I don't think many people would consider GitHub a monopoly though.