Zip codes wrong sometimes

[graue]

For example, the CounterPulse theater in SF is currently showing as zip code 94104:

It's 94102, and a Nominatim search gets this right: https://www.openstreetmap.org/search?query=counterpulse#map=19/37.78347/-122.41030

Many addresses in the Fillmore, if the feature (building/POI) does not explicitly have a zip code set, currently show as being in 95115, which is wrong. Here, the Nominatim instance on osm.org also gets it wrong.