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
days, asking that question might get as many blank stares returned as
asking, "Is it live or is it Memorex?"