> Linux is the shorthand for GNU/Linux.
It shouldn't be. For the same reasons you would shorten TCP/IP to TCP, you should shorten GNU/Linux to GNU. This avoids all of the confusion about what is "really Linux", because when people say that they actually mean GNU.