I always wondered how FreeBSD foundation is run. https://freebsdfoundation.org/about-us/about-the-foundation/financials/ https://freebsdfoundation.org/about-us

I always wondered how FreeBSD foundation is run. https://freebsdfoundation.org/about-us/about-the-foundation/financials/ https://freebsdfoundation.org/about-us/about-the-foundation/... They have so little income with those sponsors and multiple times that expense and who is covering the cost? The total income is like one guy's salary and is that all those big names are paying as sponsors?