Sorry no, we just used various apps and reduced the lists they provided manually. Usually the lists local to my country are only a thousand or so names long, so

Sorry no, we just used various apps and reduced the lists they provided manually. Usually the lists local to my country are only a thousand or so names long, so it's fairly quick work. I think that might be a bit more tedious for the US from what I've seen. There was an Android app posted here a while ago [1] that is clean and has over 100k names, which is a bit steep. But it also allows you to filter by decade, which might help reduce the scope somewhat. [1] https://news.ycombinator.com/item?id=29118785 https://news.ycombinator.com/item?id=29118785