ortotorto (2020-01-14 09:26:59+00:00): That sounds rational, but what to do with majority of names that are not mentioned on signposts? I am not sure "Plesišče" is on any signpost.
No, Dr. Tuma did not list coordinates, but names in his book are listed in logical order following promiment relief features on a map he used from peaks downward and using elevation marks on maps they actually are positioned very precisely. An example: in the book there is name "Triglav, 2863 m". When it is written that way it means its object is located at 2863 m elevation mark on the map Dr. Tuma used. Peaks, saddles etc. all have their elevations and that geolocates them. It is much more difficult with names of smaller non-prominent places as parts of forest etc.

Do you know how REZI was made? They have transcribed names from maps, that is why in coordinates of names in REZI actually geolocate centroid of label and not feature that they name. So are they geolocated or not? I think not.

People learn geographical names from maps, guides and other similar sources. If we decide to insist on names that are result of a mistake, we can never ever restore the original (meaningful) names. When you move "Plesišče" ("dance floor") from flat area to nearby mountain peak, the name itself looses its meaning & memory and a place that was originaly named "Plesišče", looses its name. Names are not just geolocating tags like coordinates! If we don't try to undo obvious mistakes by adding the original/correct names to maps, theh the only changes on maps will be result of mistakes that we will make unintentionaly (like ArHova glava --> ArNova glava etc.). I think that is not a good direction.

When do you decide that one name is known enough to be added to tag "name:"? Signposts are made by our national mountaineering assoc., but does that make them official? Who checks names on their signposts? Or do they maybe look for names in the OSM database? :) On the official mountaineering maps you can find names that were previously not known to public and are not in the official national database (REZI). Those names are often writen on signposts as well. So why should a name, added by someone to the mountaineering map and later to signpost, be OK, but some other names are not?

Please take a look at https://maps.flurnamen.at/ . They have surveyed local communities and collected names. There are many names that differ from the "official" names on maps or in REZI, many of them are result of mistake (official "Gulce" is actually phonetic transcription of name "Ulice" in local dialect --> "Ljubljana" would become "Lublana"). Name "Ulice" has its meaning but "Gulce" doesn't (until someone tells you it actualy is "Ulice"). So why should we insist on "Gulce"? Because majority of people know it by this name (it is a wide ravine in the Julian Alps)? When you use geocoding service, based on the OSM, it searches in ALL name fields in databse. It means that anyone who search "Gulce" would find it (loc_name) but would also see that the correct name is "Ulice". That can be accessible to the general public ONLY with the OSM!

BTW, KSZI has just officialy added a new name to the REZI database - "Ledeniški preval" saddle between Kredarica and Mali Triglav. That name is a new construct of colleague of mine and me and was not written ever before and it is not known to people. So should I delete it from OSM database or should the OSM be one step in front of common knowledge and thus source of people's knowledge?

Many questions and I know there are not definitve answers to all of them.