It should be GNU+Linux, not GNU/Linux. This is where the attribution people get seized-up and go all fruity-colored, but its a fact: these are not related sub-brands of each other, they are connected components. You cannot divide Linux from GNU, only add and subtract it.