With all due respect (i've never disagreed with a Linux luminary
before
;-), there's something else here other than credit: Red Hat's trademark
guidelines:
http://www.redhat.com/about/corporate/trademark/guidelines/
I don't believe it is an issue. I've forwarded your mail to the right people
for comment on whether this needs clarifying however.