Ciao Simone, girovagando con JOSM ho trovato forse un soluzione al problema:
un utente ha taggato una galleria di guerra (M. Peralba via Papa Giovanni) con:
amenity=shelter
shelter_type=rock_shelter
anziché
natural=cave_entrace
questo ha comportato che alcuni render la riconoscano giustamente con il simbolo della grotta con la pioggia sopra anzichè quello classico della casetta con pioggia.
Se sei d'accordo poremmo taggarla così.

Ciao, in questo caso l'informazione aggiuntiva era fuorviante, in quanto i render per l'escursionismo mostrano l'icona dello shelter dando la precedenza a questo tag, anzichè a quello della grotta-cavità come in realtà è il luogo in questione, (anch'io mi aspettavo guardando la mappa sul GPS di trovare una baracca). Inoltre diciamo che la grotta di per sè non preclude il riparo dal maltempo.

Ho fatto la modifica man_made cross, per quanto riguarda il render mi riferivo a questo: osm.wiki/Mapsforge meglio se usato con elaborazione OpenAndroMaps (lo dico da escursionista).
Non ho cambiato il changeset ma solo la source sul nodo.
Ti ringazio per la specificazione su IGM e per l'indicazione della carta tecnica FVG
Ciao

Ciao gpstracks,
l'aggiunta del natural=peak è, stata fatta perchè richiesta dal summit:cross=yes esistente (summit:cross=yes)
il nome è stato tolto proprio perchè la cima è quella del nodo poco sopra quotato 1467 e nominato appunto Flagjel
la menzione su source alla Cartografia Tabacco (che cancellerò) serviva solo ad avvalorare la tesi della congruità delle due diverse quote tra l'altro presenti anche su cartografia non commerciale IGM, ma ho messo pure GPS e survey.

Tornando al merito se vogliamo far risaltare la Croce sui render il summit:cross senza natural=peak non vale nulla, la soluzione potrebbe essere cancellare tutto e mettere il nodo man_made=cross con ele=1455

che ne pensi?