Red Hat tire (largement) son épingle du jeu malgré la crise.