A lo largo de los siglos este hagiónimo fue ganando terreno a costa de la denominación antigua que, ya en el siglo XIX, quedó relegado al extremo sureste de la montaña.