[throwaway71271]

I think that Gecko is more dead than IE 11, 3% of people use it, versus 0.3% using IE11, but those Gecko people will move to chrome, while the 0.3% people using IE11 will never move due to enterprise reasons.