I marked this because the Bing imagery at the time of my edit still showed the building. I have seen it recommended that in these instances, marking it as demolished=yes ensured that no one came along and re-drew the building (because they had seen it in the imagery). I don't have references for where I saw this practice recommended, but it is alluded to in https://help.openstreetmap.org/questions/21804/buildings-just-demolished-just-delete-them and still makes sense to me.

However I see that the imagery has recently been updated, so I will remove these features.