Fantastico, grazie @Moin! Questo copre due grandi fonti di personalizzazione del nostro sito.
Mi piacerebbe ancora molto usare git per gestire i Testi del Sito poiché molti di essi (come le linee guida, le FAQ e altro) sono lunghi, non banali e possono essere open source per l’input e la revisione della community.
Le altre impostazioni del sito sarebbero utili, ma sicuramente non così cruciali.