I definitely heard there was a risk of that happening, but you're right that it seems not to have materialized. I'm honestly not sure what remedy they landed on or if they are still deliberating but I think a fascinating option that follows precedent would be a pop-up browser picker in Android instead of rolling Chrome as default, as that has precedent in other antitrust cases and could potentially change the market share issue overnight.

Another interesting one would be truly spinning off Chrome, but paying a search licensing fee to them, too. Actually, that's fascinating to consider in this context, because I know that option (spinning off the browser into its own company) has been criticized on the grounds that it would be unrealistic to assume a browser can simply monetize itself. Ironic given the Mozilla criticism.