It’s named on OS OpenData StreetView imagery. Even if that label refers to a locality rather than the peak (which is possible, and the hill-bagging.co.uk summit would then be named for its proximity to the locality), it should be tagged on OSM as a place=locality.