Où va Red Hat à partir de maintenant ?