En bas de chaque page documentation collaborative, des boutons permettent désormais
- d’éditer la page sur GitLab (comme avant)
- d’ouvrir un ticket (= issue) pour proposer une modification en lien avec cette page
- de voir l’historique des modifications de cette page