Thanks. Would it make sense to fix the bad previous name tag to old_name=Mish Mish rather than removing it entirely? Or is it just _too_ old to be relevant now?
            ---
            #REVIEWED_GOOD #OSMCHA
            Published using OSMCha: https://osmcha.org/changesets/155715498
            