Sorry, a mistake of mine, will revert the change.
Background: after 5 years I'm re-building the rendering of peaks depending on their isolations for the world maps at openandromaps.org. Back then I was shocked to find the highest peak at the Philippines, at 28,000+ and tons of elevations in feet that were put into the metric field ele in OSM. You can imagine the disaster. I fixed a 4 digit number of peaks back then to get the highest isolations about right.
For the new sweep I still found tons and tons of mismapped peaks. So I built a list of peaks with relevant isolations and calculated the quotient between OSM and DEM ele. If that number is about 3.3, then you can bet this is feet in the meter field. UNLESS you are dealing with a peak very near to the coast, which is in particular true for small island peaks like here. While I was spending hours and hours working through the suspect list, concentration slipped away and I did not recognize the island nature of the area.