Comment by SEJeff

I thought the same thing. The Linux kernel has been "freely available" for a measly 26 years, and will continue to be so.