Missing street names in Petrie Terrace

https://www.openstreetmap.org/user/David Dean/diary/2372