Even more hair splitting here. Your arguments would matter in court but in general I think it is fairly easy to understand what a user means when he says Linux. For example I say Android is based on Linux.
Except that is exactly the terminology fudging that makes the conversation opaque. Android uses a forked Linux kernel, and uses none of the GNU toolchain that appears on Linux distributions. Android is based on Linux, but not GNU/Linux, and if you use just Linux as an interchangeable term for both kernel and OS including user-space, you could have gotten away with that a decade ago, but today there are enough divergent systems using Linux and not the GNU system that the distinction is required to make sense.
