keithonearth
The place=city tag is on this node: https://www.openstreetmap.org/node/5336309428

I added that node a couple months after you made your note, but I didn't answer it until now, because I just noticed it now.