MS is probably pricing this into their model — GitHub was acquired for 7.5b. If they get fined a couple b over this, it’ll probably have been worth it for the customer acquisition onto Azure.