Wann genau hab ich behauptet, dass die Erhebung nicht *auch* Harterkogel heißt? Bitte lies oben nochmal nach.
Es gibt halt zwei Schreibweisen, das ist doch nicht zu leugnen. Mag sein, dass die eine durch einen Fehler zustandengekommen ist und die andere ein bissl "richtiger" ist, aber das ist Kaffeesudlesen und kann nicht von Dir oder mir entschieden werden. Ortsnamen waren vor > 150 Jahren halt nicht standardisiert, dieses Problem haben wir tausendfach in Kartenwerken und werden wir nicht eindeutig lösen können.