[maxxxxx]

I wonder what the percentage of Linux kernel devs who are paid for doing it versus the ones that do it on the side. I bet the paid percentage is higher.