Comment by pg

Yeah, I'd be open to replacing the username. One of the biggest things I overlooked when I wrote HN is that I didn't make any provision to let people change their usernames. There are no internal ids underlying usernames; the actual usernames are stored everywhere. But if I wrote something to let people change their displayed username, it could also be used for this.