Como puede también comprobar usted, una IP anónima incorporó un párrafo sobre el cambio de topónimo en la sección sobre toponomía del artículo que no he eliminado, pues dicha información es correcta y está bien referenciada. Es cuestión de esperar unos días, que en realidad serán meses, pero después de cientos de años con un nombre oficial mal escrito, ¿qué nos cuesta aguantar unos meses?