Ah ! Cela aide. PR soumise.
Je suis un partisan de placer la documentation sur GitHub. C’est beaucoup plus de travail de soumettre des modifications que de modifier un article de wiki, mais l’étape de révision est utile. (Et pour la documentation des auteurs de plugins, exiger une connaissance de Git n’est pas un obstacle si élevé.)