Yeah, I believe this is correct from the legal standpoint, and as long as both parties are okay with it, it’s alright with me.

My point is: Fedora is a great project, but it’s also so much more popular than FEDORA (I assume a lot of HN readers haven’t even heard about this second one before). It would be nice to mention them in just a tiny bit more prominent way – say, at the bottom of about page. But it’s really not a big deal either way.