El usuario https://www.openstreetmap.org/user/Montes%20Obarenes ya lo ha cambiado.

En realidad es un alt_name, parece ser que está escrito con ambos nombres.

Según mendikat sería Yedrano:
https://www.mendikat.net/com/mount/5122.

Aunque si observamos las fotos de un grupo de montaña que pasó por ahí, podemos observar que hay referencias con ambos nombres, no del pico en sí, si no de una fuente/abrevadero que hay en la ladera de dicha montaña.

https://nonstop-miranda.blogspot.com/2019/01/flor-y-humion-desde-cubilla-de-la-sierra.html
