Usually, if an area is fully enclosed in another area around it (the mountains are fully enclosed by the bare_rock), they are seen as "holes" in the outer area. The view in osm.org is also correct. There are already two inner members in the multi-polygon, a lake and a natural=scree in the east.

I will add the three mountains and the quarry nevertheless. However, I suspect that OpenTopoMap is wrong in interpreting the data at this point.