[@chrishajer Participant 17 years ago]

They have to re-register under a new name. Editing the username is not possible normally. You can do it with direct access to the database, but it’s not possible from the user’s perspective.