Another point here is that Debian/GNU hurd is not Linux either. An all encompassing name could include that too. travs