What makes you so sure the DOJ won't ask the court for divestment of chrome, android, etc? It's hard to imagine what else would be large enough to impact the finding of a de facto monopoly.