Hole in the rock
It doesn't show as clearly as I had hoped it would, but there is a hole in the rock behind the hiker. It shows up better from the highway that goes by far below on the right, because one can see the sky through it.
As I misremembered this part, we had to go through the hole. I'm glad I was wrong.