Website username changing

[bettywolfy]

Hello. How can i change my username on the tic80 website?
I would like to update my old name to a name I feel more comfortable with. (that would be betty_wolfy)

My account right now: https://tic80.com/dev?id=8832