Cabe recordar que, en aquella época, esta sierra fue conocida como Serra de Porto Pi.