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.