Here I go obsessing with naming again, but it is an important point as
some folk do have to prepare docs and such which include the name. So,
now we know that it is the Fedora project, but is it going to be Fedora
Linux now? Or is it still going to be Red Hat Linux as developed by the
Fedora project? Is the Red Hat logo going to be gone from the GNOME
menu or what?
Ralston