Oui, je suis d’accord. Ils auraient pu le faire. On va pas laisser la note ouverte à vie parce qu’ils peuvent modifier le nom dans 10 ans :).
Pour cela que je propose d’attendre la rentrée prochaine. Si le nom des arrêts n’a toujours pas bougé, je pense qu’on pourra fermer la note. Éventuellement en ajoutant une note sur les arrêts vers celle-ci pour qu’un autre contributeur puisse avoir accès à l’historique.