Ne plus parler de spip-zone

SPIp 3-3 dev

On parle encore de spip-zone (cf. capture d'écran) lorsqu'il s'agit d'ajouter un dépôt. Il faudrait sans doute changer. Mais quel est le bon nom ? git.spip ? SPIP-communauté ? je ne sais pas si on a un consensus à ce sujet.

Il faudrait aussi adapter le fichier xml du debardeur.