Ciao CDB77
As long as the building it still visible on the aerial imagery, it's better to use a https://wiki.openstreetmap.org/wiki/Lifecycle_prefix for it.
Otherwise another mapper might just add it again.
I've changed it like so in https://www.openstreetmap.org/changeset/155008574

Happy mapping,
habi

PS: I'm here because of https://www.openstreetmap.org/note/4371234 which was still open :)