Navneforslag topp Jotunheimen

[hafting]

I sin bok "Jervesporet" nevner Dag Hessen at han kaller "fortoppen" til Trollsteinhøi for "Jervefjell", selv om toppen formelt har navnet Søre Trollsteinhøe. Det skal jo mye til for offisielt å endre navn på fjelltopper, selv om de siste tredve årenes økte interesse for å samle topper har ført til at man opererer med mange ekstranavn som Fjelltop S-2 etc. Så mitt spørsmål til debatt er om det hadde gjort seg med "Jervefjell" som et alternativt navn til Søre Trollsteinhøi ?  

[GB72]

Denne toppen er slik jeg ser det bare en forlengelse/skulder av hovedtoppen Nørdre Trollsteinhøe, så jeg ser ikke noe behov for et nytt/eget navn på denne.