As a side note, as of today Firefox has something like 2.79% of the browser market, coming in fifth, behind Opera, Edge, Safari and (of course) Chrome. Firefox only comes slightly ahead of Samsung Internet which I have only just heard of today. It's really sad to see how far Firefox has fallen.