Right now, there are no way to change username directly(The only way I know is contacting the mod/dev of the website). Maybe try to add it so people can easily personalize their profile. If it cause the server to be burdened heavily, maybe try to add some limitation like you can only change it...