The organization that created the the DEM used by the Israel Hiking and Biking maps, and donated it to the public domain, has offered a large set of peaks analyzed from the same ASTER satellite source. A large sample of the heights was compared with other sources and found to be very accurate.
I would like to bulk-import this set. It could bring OSM topo maps to the level of commercially available maps.
Since the data includes only the location and elevation of the peak, it would therefore require consolidating with existing names and other tags of the existing peaks.
If you have objections or ideas it would make sense to raise them now.