Maybe this was meant to distinguish GNU/Linux from other Linux userlands, such as Android? Apart from that, for the layman "Linux" is generally understood as t

Maybe this was meant to distinguish GNU/Linux from other Linux userlands, such as Android? Apart from that, for the layman "Linux" is generally understood as the whole Linux distribution, not just the kernel or the OS. Still, even from that perspective this wording is quite confusing.