1800 ish devs from the last figure I could find. 700 ish on Firefox.
Now there is no way 700 people actually work on Firefox code. Throw in team leads, QA, dev tools, UI, specialized developers like WebRTC and that number makes a little more sense. But still seems inflated.
Most of Mozilla is already remote.
I mean Mozilla and Firefox should survive. But I do imagine we’ll lose Thunderbird and anything not Firefox related. And dev will drop heavily. CEO salary of almost 7 million will need to go as well.
It may be good for Mozilla to return to a streamlined company. Rather then a bloated one as it is now.