Does Redhat pay for fedora's infra? Genuine question and I'm not saying it's better either. It's just that it would be weird for fedora to operate on volunteer/donated infra when it's quite important to red hat, considering it's the "upstream" (not sure if that's the correct term here) of RHEL