Edit: checked it, figures are on page 158. they still spend 7,8 M$ on Linux kernel but it’s 2% of the total spend - to be fair a lot of the total is going to the community and related topics. Still a bit concerning.
(I still think both the Linux Foundation and Mozilla are great organisations that should get more support to be clear)
