CNET: Paid Developers Power the Linux Kernel