My friend noticed in our photos of Half Dome taken from Mt. Watkins and North Dome that there looks like a stepped trail that descends the north side of the sub dome that you climb before Half Dome. There's an overview picture with the "trail" marked and a close-up from North Dome. From Mt. Watkins it appears to intersect the trail to Half Dome. Is this a real trail or are we being faked out by a natural formation? For scale you can see a couple of people in the upper left corner of the second image.