Is it possible to change a username in AMP? I see from UserData.json that each user also has a UUID (as opposed to just using the username as a unique identifier), so would changing the username in that file break anything?
Usernames are set in stone and should not be changed. You’d have to delete and re-create the user.