The gpg key info at https://admin.fedoraproject.org/fingerprints should be updated for the new keys, or perhaps even better, just remove the info and link to https://fedoraproject.org/keys for the key details.
ping?
This has been updated in puppet and should go live soon.
Thanks for the report.
Login to comment on this ticket.