Then it's inappropriate to completely delete this building. Instead you should've just removed library-specific tags, but leave the building and its tags intact.
            ---
            
            Published using OSMCha: https://osmcha.org/changesets/162870620
            