@nixCraft Strictly speaking, it's GNU/Linux, but it's not important. Other major OSes that use the Linux kernel such as Android and Chrome OS don't even have 'Linux' in their names, so the scope for confusion by omitting the GNU part in the name is small.