Wydaje mi się, że szczyt powinien być najwyższym miejscem na grani. Wikipedia podaje też wysokość szczytu 2237m - a takiej nie osiąga żaden ze zmierzonych punktów.

Wydaje mi się że szczyt należy przenieść, skoro wszystkie źródła podają go te kilkaset metrów dalej, ale czy wpisać tam wysokość z Wikipedii, czy z pomiaru Lidar i który dokładnie punkt wybrać, tego nie wiem