Así, la población de Petra fue redescubierta mucho después, en 1812.