Red Hat employees around the world have a new leader, getting the news Tuesday shortly ahead of a formal public announcement when CEO Paul Cormeir sent them an email about the changes taking place. Here’s the letter: