Which is probably the right answer (or Rocky) if you're set on having CentOS like it was before the team was acquired by Red Hat (which frankly didn't change the situation as much as some folks assume it did).