Hello, recently I ran a query on  overpass-turbo.eu to find all villages near Nevers. One of the records I received contained this:

<node id="1446118386">
    <tag k="name" v="Héry"/>
    <tag k="place" v="village"/>
    <tag k="population" v="65"/>
    <tag k="postal_code" v="58800"/>
I think this is an error, and the field postal_code should be changed to the  addr:postcode field. Sad thing is, I don't know how to do this.
Cordialement,
Jeroen Baten