It's still visible on aerial, maybe mark it as a recently demolished building (it's a thing in the id editor, the tag is demolished:building=yes) so some industrious soul (such as myself ^_^;) doesn't helpfully re-add it?
            ---
            
            Published using OSMCha: https://osmcha.org/changesets/162764155
            