Minor point for future reference: it's preferred to use things like the "razed" prefix when removing things still in the imagery, so others don't accidentally add it back.

https://wiki.openstreetmap.org/wiki/Key:razed:*