Missing street names in Petrie Terrace

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