Yes. And this isn’t a knee-jerk reaction from them. They’ve been working on a CentOS clone ever since Red Hat decided to make it more unstable and cutting edge. So it’s quite natural for them to step in and do this.