OK, so it's the Fedora Project, but is it still called Red Hat Linux?

[rg]

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