No, I have not as I actually haven't hiked around Mizpah Spring Hut. It is not marked on OpenStreetMap. I did find a zoomable map with a picture here: https://www.trailrunproject.com/trai...er-cliff-trail . Personally, I don't mark anything on OSM that I haven't visited or that I can't verify with a high degree of certainty from satellite imagery, so I won't be marking this source. I'm sure that sooner or later another hiker who is also into mapping with put that on a map.