Why use John? Just run down the list of Hacker News usernames; it'll take less time. (Or, better still, don't; just because the privacy's theoretically compromised doesn't mean we have to exploit that.)

I don't think there's a public list of all HN usernames is there?

Found this, it includes 250k usernames, but it's not there. https://www.kaggle.com/datasets/hacker-news/hacker-news-corp...

The username in question isn't in this dataset but maybe it was created in the past 10 days, as the max(timestamp) is Nov 16th, 2022.

https://console.cloud.google.com/marketplace/details/y-combi...

It isn't there, and given the "story" it happened years ago so it should be there, so I guess we've been played.

Unintentionally played I might add... But I will leave it at that.