Red Hat gana un 41,7% más en su primer semestre fiscal