@nixCraft
I see this as depending on need specificity. Linux in casual conversation, but GNU/Linux when needing to differentiate with a non-GNU distro. I do think it is formally and properly GNU/Linux but then I don't usually speak formally and properly!