To jest oficjalny regulamin.

Park Krakowski też ma w swoim regulaminie inną nazwę niż realnie używana.

Planty Krakowskie są już otagowane jako alt_name w https://www.openstreetmap.org/way/1221128266

Jak chcesz to otwórz wątek w https://community.openstreetmap.org/c/communities/pl/40 ale to by było o tym która nazwa jest dominująca w użyciu (zwłaszcza lokalnie).