Gentoo does a wild amount of work on $12k per annum but I don’t think $12m is that crazy - if it’s more than you can spend then you can pass it on to your dependencies. We shouldn’t expect open source contributors to do everything as a volunteer effort because then it becomes a rich person pastime. What’s infuriating here is that this $12m goes to people who aren’t exactly doing anything worthwhile.