Migrating from CentOS Linux to Red Hat Enterprise Linux: Simplifying the transition