Hi Andy,
Like most peaks in Bulgaria this one is also named by locals. If someone has different opinion for the name it's better to show where it's written the peak is with another name instead of pretending there's no peak at all (there's a peak and with almost perfect panoramas from the center of the mountain and everybody deserve to go there and see it instead of keeping the peak hidden from people like former collaborators try to do)