Did Red Hat’s CTO Walk – Or Was He Pushed?