Why do you make the argument that Red Hat is the biggest contributor?
Searching Linux contributor breakdown by organization puts them tied for 3rd at ~7%.
https://commandlinux.com/statistics/linux-kernel-contributors-lines-of-code-statistics/
Don't get me wrong. Intel leading the corporate contributions is worse. lol
All-time contributions are led by Red Hat at 15%. Many top organizational contributors guilty of profiting from the genocidal industrial complex. Maybe TempleOS was the true alternative.