Comment by _mouvantsillage

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

I did it a few weeks ago and the change was effective a few hours later.