La source de l'information n'est pas l'IGN mais la personne qui a émis la note.
J'ai précisé que la proposition de nommage et l'IGN sont cohérents. C'est un gage de fiabilité de l'information.
L'IGN ne détient pas de propriété intellectuelle sur le nom de la colline. L'IGN n'est pas l'entité qui détermine le nom de cette colline. Au contraire, ce sont les habitants de cette région qui ont donné un nom à cette colline, et en ont informé l'IGN.

Carte topo IGN