Red Hatter here, but just my personal opinion. I don't think there would be any litigation. We can terminate accounts for people downloading SRPM's to redistribute them but we can't stop the redistribution itself. There is nothing illegal about making a RHEL clone minus our trademarks.