Changing username is allowed. You just need to ask by e-mail (see https://news.ycombinator.com/newsfaq.html https://news.ycombinator.com/newsfaq.html). I did i

Changing username is allowed. You just need to ask by e-mail (see https://news.ycombinator.com/newsfaq.html https://news.ycombinator.com/newsfaq.html). I did it a few weeks ago and the change was effective a few hours later.