@rmw For systems which use GNU and the Linux Kernel it is proper to call the system GNU/Linux.
@tyil @rmw
Richard Stallman has used both GNU slash Linux and GNU plus Linux.
Honestly, as long as both are mentioned when both are included when addressing the system being referred to there shouldn't be any issues.
An example: I strongly object to just referring to a distribution which contains GNU and the Linux Kernel like Debian as just "Linux".
The main point of using GNU in the name is to at least have recognition of fundamental parts of the system and how they exist because of the GNU and Free Software movement.