It may be worth reminding people that an NSUL postcode overlay is available. The details are here https://lists.openstreetmap.org/pipermail/talk-gb/2021-September/027693.html . If an address is in OSM, in most cases the overlay will allow you to assign the correct postcode. It is not in the list of layers available in JOSM or iD but you can add it manually.
The overlay has not been updated. If you want something more recent, you could look at https://blue.subbasis.net/postcodes/postcodes-2025-03.gpkg.xz which was created by JB_Robertson. It needs QGIS (FOSS) to open it, which is not so convenient. It is also a bit cumbersome because QGIS is a large download and the file itself is large. It works differently because JB_Robertson has drawn areas around each postcode. You click in the area to see what the postcode is. Occasionally areas overlap and you need to click in several places to see what the postcodes are. You can also now find up-to-date postcodes for individual properties on Robert Whittaker's website https://osm.mathmos.net/addresses/uprn/ (beta). Adrian _______________________________________________ Talk-GB mailing list [email protected] https://lists.openstreetmap.org/listinfo/talk-gb

