maybe urgent: out of date email on keys page for gpg fingerprint?

[Michael Cook]

Howdy, 

On this page:
https://fedoraproject.org/keys
It says to run this command: 

gpg --fingerprint fedora(a)redhat.com
which seems like it might be out of date. Running this on a Fedora 9 system that has
received the updated key package will return nothing, as shown below [0]. Unless I have
been compromised (which Fedora assures us shouldn't have happened with this), the
correct email for the fingerprint is fedora(a)fedoraproject.org. This is probably important
to update because of the focus that should be paid attention to it at the present time. :)
 The fingerprint matches, so I assume that it is the page that was maybe a little out of
date. I was going to just fix it myself, but I don't think there's a way for me to
do that on that page (which is understandable). Thanks and ttyl,

mich


[0]

[root@supergrover ~]# gpg --fingerprint fedora(a)redhat.com
gpg: error reading key: public key not found
[root@supergrover ~]# gpg --fingerprint fedora(a)fedoraproject.org
pub   1024D/6DF2196F 2008-08-27
      Key fingerprint = 4FFF 1F04 010D EDCA E203  591D 62AE C3DC 6DF2 196F
uid                  Fedora (8 and 9) <fedora(a)fedoraproject.org&gt;
sub   4096g/9E198F60 2008-08-27

[root@supergrover ~]#