You are right, there is a discrepancy. I did a recent change because Pachéco 19 had this unusual postcode in the 01/2026 version of UrbIS… and in the 02/2026 version everything is now correctly set with postcode=1000.