Yes, and anybody who buys RedHat product, even for a few minutes on a shared cloud provider, is entitled to the source code, and is also entitled to redistribute the source code as they see fit. Which is what Rocky is doing.

I never said you can't sell free software. You have picked the wrong argument to try to make thinking I conflate the frees.

It's always been a fact that RH can't actually prevent a Centos-alike from reproducing the binaries from the same source, since RH are obligated to make the source available to anyone they hand a binary to. So you are right, they are still doing that. Congratulations on something that was never contested.

The problem is simply that they are trying, and HAVE at least issued statements asserting policies that they don't actually have the right to make. For instance they said that users can not legally redistribute the source they have access to, because it has RH trademarks in it. Well, fortunately that doesn't actually fly. The GPL isn't nullified by just including your cooyrighted or trademarked logo into the package. If anything, it just creates a derivative work and you just gave away all rights to your logo. Presumably they were'nt that stupid and carefully only do that to software they wholly wrote themselves, or things that are MIT and not GPL.