And why does it matter, anyway? The GPL exists for a reason and RedHat knew what they were getting themselves into.

It's just so stupid people are gonna have to jump silly hoops to get the source code.