This'll eventually be an entry about my sidetrip to Petra, the rock-carved city in Jordan.