Benennung von Ortsnamen

Hallo Zusammen,

wie gehen wir mit der Benennung von Orten um, dessen Namen eher nur Locals geläufig sind?

Hier ein Fall, der bei mir die Frage ausgelöst hat: https://www.openstreetmap.org/note/2837268

Der Ort ist unter den Einwohnern als Schlossspitze bekannt. Genau genommen ist die aber kein offizieller Name, zumindest ist der Ort nicht ausgeschildert oder im städtischen Katasteramt hinterlegt. Können solche Orte dann trotzdem kartiert und so benannt werden oder sollten sie eher ignoriert werden?

Möglicherweise wurde dieses Thema schon woanders durchgekauft, konnte aber nichts finden. Lasse mich gerne verweisen.

Da spricht nichts dagegen. Dafür gibts ja sowas wie das loc_name= tag

Flo