So first of all IAARHL (and I do a lot of work supporting Fedora) but IANARHTL. That said, I have seen the actual agreement (but many years ago), which predates my arrival at Red Hat by some years, but don't have immediate access to it and am disinclined to hunt down a copy solely because of this thread. However, my recollection of it is that it was quite a bit more specific than the Cornell-UVA paraphrase as to where the parties expected the notice to appear. My further recollection is that it was the Cornell-UVA FEDORA that was not really complying with the letter of the agreement as to that issue, rather than the Fedora Linux Fedora, essentially the opposite of what you're saying. To settle this we'd have to get the agreement and do some Wayback Machine research, which I'm also disinclined to do at the moment.
Now, as to why it's on the Fedora Legal Docs site today, that's because a few years ago we undertook a significant migration of all "legal" content from the basically deprecated Fedora Project wiki to the newly created Fedora Legal Docs site. In general, such material is now much easier to find than it was in the wiki era (where it was spread across multiple wiki pages). I don't know when the trademark notice first came to be placed on the Fedora wiki, which itself didn't always exist, but I believe when Cornell-UVA and Red Hat signed the agreement, Fedora may have still been using a redhat.com site.
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.
Now, as to why it's on the Fedora Legal Docs site today, that's because a few years ago we undertook a significant migration of all "legal" content from the basically deprecated Fedora Project wiki to the newly created Fedora Legal Docs site. In general, such material is now much easier to find than it was in the wiki era (where it was spread across multiple wiki pages). I don't know when the trademark notice first came to be placed on the Fedora wiki, which itself didn't always exist, but I believe when Cornell-UVA and Red Hat signed the agreement, Fedora may have still been using a redhat.com site.