A paper map from Den Norske Turistforening names this peak Store Åråhøvde. See added photo. Is it a source we can draw information from?

via StreetComplete 58.2

Attached photo(s):
https://westnordost.de/p/239022.jpg