> What's missed is that neither contributors nor maintainers are usually paid for their effort

To be clear, the Linux kernel is mostly developed by well paid employees of various tech companies that need to steer the future of the Linux kernel, even if only to write drivers.