I would assume that that budget is mostly for central organisation expenses rather than paying for development. Things like legal fees, paying for CI infrastruc

I would assume that that budget is mostly for central organisation expenses rather than paying for development. Things like legal fees, paying for CI infrastructure etc. The development work would continue to be done by people being paid by various companies (or in their free time).