You may also resolve directly at: https://dns.google/resolve?name=72dec291ea5c80f07dca832be132f5c6cb6d43713ec4843dff82d7ee._openpgpkey.fedoraproject.org&type=ALL