Une checklist rapide, à améliorer à l’avenir, pour mettre à jour MAMP d’une version mineure à une autre.