There are around 10 more prominent browsers and lots of smaller forks, which is enough choice in the context of anti-trust.