Change username

I would like to change my username. The instructions at How can I change my username here at the community? don’t work for me because there’s no pencil to edit it to the right of my username. I noticed that other users had the same problem. Has this been solved?

You cannot change your username, from the one you created.

It is a discourse thing (the tech on which this particular forum runs).

You will need to create a new account with the username you want.