As Fabrice said, FirefoxOS was really the opposite --- doubling down on Gecko by making it the core piece of a huge bet. And it mean a big investment in Gecko improvements such as multi-process which eventually paid off on desktop.