GNU/Linux is the correct name for the OS. Linux is just the kernel. At least until Android, Linux and GNU both "caught on" exactly as much. Linux is accepted as a abbreviation for GNU/Linux. I don't think it's worth arguing about.
This is not the worst version of the free software song, that would be the version by the "GNU-Stallmans" at the end of some documentary that escapes me.