Lots of recent news about changes in Centos. So for the layperson, is Centos now dead?