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.
This has been updated in puppet and should go live soon.
Thanks for the report.
to comment on this ticket.
Copyright © 2014-2017 Red Hat
3.13.2 — Documentation