Hello. The sync script doesn't seem to handle 0 as first digit of a zip code. Is it treating zip codes as numeric or does the Excel/ODS try to convert it automatically into a number? I fixed https://www.openstreetmap.org/node/12879217220 but see the same on https://www.openstreetmap.org/node/12896993299 , 12897005212, 12897005227