PR faites upstream.
Pour ce qui est de la doc, la page d’installation existante est dédiée à Debian/Ubuntu.
Je pense que ce serait plus simple de créer une page dédiée RHEL plutôt que de modifier la doc existante.
J’ai crée un compte (Orsiris de Jong), pourrais-je avoir les droits d’ajout et modification des pages installation ?