The Fedora trademark doesn't include the Linux trademark. As long as
we continue to attribute the Linux trademark correctly, there's no
issue here.
Sorry that was meant as a joke, I think the fact that Fedora is copyrighted
as well was reason enough to stop the argument, but I figured I would remind
all that Linux is a registered trademark as well.