The extra detail is handy for Peacock House, which has the previously missing 123s and 125s around its edge, plus an entrance lobby with the mail slots for all of them.

Trying addr:interpolation on the main entrance nodes since JOSM isn't whining about overlap between Gatekeeper House and Comma House. It feels less bad than putting it on a closed way with no addressed nodes in it!

We'll see what the search makes of it all.

→ https://www.openstreetmap.org/changeset/153011576