In the comments of the article one person mentions that libre offices runs on a little less than a million a year.

I'd argue that Mozilla has a few more repos that need mending (i.e. Rust, Servo, MDN, ...) but if you pay an average of 100k$ salary and have like 10 techpeople per team plus some management/community management/project management you could do a rough estimate of <10 core teams * 15 people * 100k$/year + 5m$ for infrastructure/rent == 20m$>.

Even if you pay your CEO 2,5m$ afterwards, you'd still have loads of money left.

Not sure where all of it goes. And I'm a bit reluctant to just say "bad management" in terms of money allocation. Although I do hate this cut in workforce and feel like it's the worst management decision in tech in recent history.