My understanding is that Red Hat does allow redistribution so long as you do not infringe on its trademarks. Given that no version of the GPL ever granted trade

My understanding is that Red Hat does allow redistribution so long as you do not infringe on its trademarks. Given that no version of the GPL ever granted trademark rights, this is not an additional restriction, so this is fine.