Safari trails chrome because Google didn't like Apple being in charge of the Webkit repo, which led to the Blink fork (the Chromium engine).
Firefox is still a great browser, but it has fallen back to square one on popularity.
From an anti-trust perspective Google should offer to fund their competitors directly instead of splitting the browser out, the eventual result should be revisions to web standards specs to ensure they are correct and detailed enough to be accurately implemented, which in turn makes new browsers easier to implement. Eventually if specs are close to 100% correct it should be reasonable to generate new browser engines from them. Currently that's not possible due to chasms of ambiguity and contradiction, and because browsers like chrome occasionally implement their own design of stuff just because they want to.