yeah… except that all sorts of developers and users get to adapt and run the GNU/Linux OS and related software and do all sorts of valuable work. It's tools that they use not only at low cost, they also adapt them. The ability to set up your OS how you like is a direct result of the freedom the community has to build things and adapt them as we wish. It isn't just about the Linux kernel.