Viva, Paulo
A etiqueta "addr:postcode" da Praça não foi colocada neste conjunto de alterações mas no anterior, como se pode ver no histórico (https://www.openstreetmap.org/way/242869705/history). 
Foi  falta minha não ter referido isso no meu comentário.
Corrigi há minutos a situação  para ajudar a clarificar o uso da etiqueta postal_code.
Luis