4.7% of your users, but what percentage of web developers?
If that second number is substantially higher (and I personally suspect it is, but I don't have data backing that up) I think it would be very reasonable for Mozilla to prioritize MacOS. Getting web developers to use firefox makes firefox work better for everyone because it makes more sites work well with firefox.