Well, yes, it's the same wonderful technology, no matter what you call it.

I was not thinking about whose credit it is, more about the logic of it. Calling it Linux could lead to some paradoxes. How would you for instance describe Debian GNU/kFreeBSD or Debian GNU/Hurd? "Linux without Linux"?