Rocky Linux Cómo migrar CentOS 8 a Rocky Linux: La distribución de mano de unos de los fundadores de CentOS