@funnelfiasco @nixCraft oh sorry, what I referred to as red hat is in fact ibm/redhat. redhat is not a company to itself but rather another proprietary component of the ibm ecosystem