btw, have you seen https://indoorequal.org/#map=17.74/40.581758/-74.166158&level=2 ? Makes indoor mapping much easier.
            ---
            
            Published using OSMCha: https://osmcha.org/changesets/147310051
            