Comment 7 for bug 341377

Hi Osama,

While there is technically an ambiguity between "Linux the operating system" and "Linux the kernel", in practice there is no confusion, for the following reasons:

 * Most users neither know nor care what a kernel is, and any user documentation is going to be referring to "Linux the operating system" 99% of the time anyway; the fact that there is a kernel named "Linux" is irrelevant to most users.
 * The kernel is an integral part of the operating system, so for most purposes "Linux the operating system" and "Linux the kernel" are synonymous. There is no need to differentiate between the two.
 * "Linux" is the dominant term used to refer to "Linux the operating system". Attempting to use the term "GNU/Linux" may confuse users, who may have only ever heard it referred to as "Linux".

I concede that the term "Linux" is used wrongly in this context, but that doesn't matter; everyone else uses it wrongly too. There is little value in trying to correct people's usage of these terms, especially since doing so may confuse some readers. "Linux" is the more common term, so we should continue to use that.