https://en.wikipedia.org/wiki/GNU/Linux_naming_controversy Not sure if that adds...

		mikeyjk on Nov 17, 2017 \| parent \| context \| favorite \| on: Learn just enough Linux to get things done https://en.wikipedia.org/wiki/GNU/Linux_naming_controversy Not sure if that adds much to the conversation, it is a v. common shorthand to use linux for gnu + linux.