Yup. I was working on a migration to CentOS ~8.2 before we got rugpulled. Took the opportunity to move to Ubuntu/Debian. If we have to do all this work, might as well change distro's.