Ciao demon_box,

secondo me questa è più un note=* (un messaggio rivolto ad altri mappatori) che un description=* (non descrive il monte).

Ho visto nella history "Monte Poren", se è un nome dialettale alternativo si potrebbe mettere in alt_name. E in base a quanto sia diffuso Pornio anche lui magari?