Wasn’t that basically what CentOS started out as - as a community edition of RHEL that you didn’t pay Redhat for? And then Redhat generously offered to sponsor the project? And then all the trademarks and other minutiae of running the project were transferred to Redhat? And now Redhat changes CentOS to make it less like RHEL?