This isn’t the first time that something being the default was considered part of a monopoly case. Most notably internet explorer in the Microsoft monopoly case.

The big thing is that even if there are other options… A lot of people won’t ever bother to change it.