There is no extra effort here. The binary comes from the source. You don't have immaculate conception for RHEL. RHEL uses the source, and use to provide a link to the said source. Now they don't. And nobody is even asking RH to post sources publicly. People will happily take that burden off of them. They don't have to post the source, they can let their customers do so, but they forbid their customers. So this argument fails.
RHEL source according to Red Hat is CentOS Stream. CentOS Stream is publicly available. Red Hat cannot deprive you of your right to sources and to redistribute them under the GPL. But Red Hat can also determine who they want to do business with.
That interpretation of GPL is the main reason for this post. You have not stated anything new here. Your argument started with something about effort and fell back to their legal line. All your posts in this thread are of a defensive/shilling nature. It has stopped being productive.