Por tanto, no es discernible si dicha denominación de la Isla existía efectivamente en el año 1393 o fue añadida posteriormente por los encargados de concluir la obra, entrado ya el siglo XV.