Hello! https://www.openstreetmap.org/node/4013812527/history has shop = post_office that was added in this edit (if I checked things correctly)
shop=post_office ? Is it simply post office (amenity=post_office) or was it intentionally mapped not as a post office?