On 8 Dec I saw the announcement that Red Hat (which had made CentOS an in-house distro a year or two ago) was changing CentOS from being a free clone of Red Hat Enterprise Linux, to focusing solely…