That’s a fair point, and worthy of deliberation.
However, I would continue to argue that if Redhat does not restrict parties’ rights to the source code they’ve been given, then they’ve satisfied the GPL.
It is my understanding (at least initially) that the GPL was meant to solidify the end user’s rights to the software they have, so that they’re not left with an unfixable binary executable.
And again, there are no rights granted by the GPL for FUTURE versions.
Here’s a great article that covers it quite well:
Re-Recording Your Old Songs: How Taylor Swift is “Shaking Off” Her Old Record Company