Thanks for reacting on my note before I had a chance to do it myself. I think it is preferable, though, to add the lifecycle prefix demolished: instead of deleting a building that is still visible on aerial images to prevent some armchair mapper to add it again.