alt_name is used for a different name used to refer to this specific feature - I don't really think that applies here. Nobody says "Austin" when they are referring to Jollyville specifically. Austin is already represented well on OSM by this relation

https://www.openstreetmap.org/relation/113314