But that would have required someone other than Mozilla to run Firefox