After putting this question to the experts, the conclusion is that no matter what you call it, it's still Linux at its core. Should the Linux operating system be called "Linux" or "GNU/Linux"? These ...