3 ms·

So based upon rigorous analysis, approximately half of all Firefox users use the default choice, and half use a different AV.