Ok. Przepraszam, jeszcze nie ogarniam do końca tych tagów. 
Ale mamy zgodność, że główną nazwą jest Kowalska Góra? Taka nazwa jest na tabliczce i pieczątce na szczycie i do tej pory zawsze słyszałem taką nazwę. Nie jest to oczywiście niepodważalny argument, ale zdaje mi się to najpowszechniejsza nazwa tego szczytu