Currently planning out a migration from 11.5 to 12.5 and noticed that the admin guide for 12.5 doesn't mention changing the VM type from Red Hat to CentOS. Is that no longer needed with upgrades when going to 12.5? It's a direct refresh upgrade so I was expecting that the version would be changing and that would be a required step but I didn't see it in the guide.
