Obvious next question: what drove the CentOS devs to sell to Redhat. From previous discussions, I understood that it came down to lack of resources / devs to maintain and support it. So OP's question is on point: what will Rocky Linux do to avoid a similar misfortune?