Re: SPF records @fedoraproject.org versus @lists.fedoraproject.org