Is there a public location that shows the fedora project ssh host keys
The instructions for setting up to interact with the fedora project infrastructure (documented here https://fedoraproject.org/wiki/Infras... ) suggest some ssh commands. If you have not connected to the fedora project servers before you may get something like:
The authenticity of host 'fedorapeople.org (152.19.134.196)' can't be established. RSA key fingerprint is SHA256:sDaefTE8n458kO+1OETLQ9mPEaGrhDlnZ8V79pn/MMM. RSA key fingerprint is MD5:07:d4:02:db:9f:70:d5:2d:7f:1b:6a:df:83:73:95:1d.
Rather than blindly assume the host key is correct (see also "TOFU"), I'd like to verify the host keys using another channel. Is there a https web page hosted by the project that shows the known project server host keys? Google didn't help me find it - sorry if I missed it somehow.