C’est super, merci @Moin ! Cela couvre deux sources majeures de personnalisation de notre site.
J’aimerais toujours vraiment utiliser git pour gérer les Textes du site car beaucoup d’entre eux (comme les directives, la FAQ, etc.) sont longs, non triviaux, et peuvent être open source pour la contribution et la révision de la communauté.
Les autres paramètres du site seraient bienvenus, mais certainement pas aussi cruciaux.