I'd just like to interject for moment. What you're refering to as
<p>Linux, is in fact, GNU/Linux, or as I've recently taken to calling it,
GNU plus Linux. Linux is not an operating system unto itself, but rather
another free component of a fully functioning GNU system made useful by
the GNU corelibs, shell utilities and vital system components
comprising a full OS as defined by POSIX.
</p><p>Many computer users run a modified version of the GNU system
every day, without realizing it. Through a peculiar turn of events, the
</p>
version of GNU which is widely used today is often called Linux, and
<a rel="nofollow" class="external text" href="https://www.youtube.com/channel/UCnnkfWory1luFrJZrRyrghw">Jessica Kellen Mk 2 Electric Boogaloo</a>
CC BY 3.0
<bdo lang="en" dir="ltr"><a href="//commons.wikimedia.org/wiki/Commons:YouTube_files" title="Commons:YouTube files">YouTube</a>: <a rel="nofollow" class="external text" href="https://www.youtube.com/watch?v=lAGC39MhpaY"><bdi lang="">Stallman</bdi></a> – View/save archived versions on <a rel="nofollow" class="external text" href="https://web.archive.org/web/*/https://www.youtube.com/watch?v=lAGC39MhpaY">archive.org</a> and <a rel="nofollow" class="external text" href="https://archive.today/https://www.youtube.com/watch?v=lAGC39MhpaY">archive.today</a></bdo>