Hey! I just reverse engineer them from publicly available data like company addresses, restaurants, etc. It's a slow process but I have not found any free postal area code data so that's the only way to do it. I've started a thread here: https://forum.openstreetmap.org/viewtopic.php?id=56421