Ótimo, obrigado @Moin! Isso cobre duas grandes fontes de personalização do nosso site.
Eu ainda gostaria muito de usar o git para gerenciar os Textos do Site, já que muitos deles (como as diretrizes e FAQ e afins) são longos, não triviais e podem ser de código aberto para contribuição e revisão da comunidade.
As outras configurações do site seriam boas de ter, mas definitivamente não são tão cruciais.