I am new here. I thought I can change my username whenever I want when I signed up, so my username was informal. However, I couldn’t find the place where I can change my username. I can only change my real name, institution, location, etc.
We do not support changing usernames at the moment. In case you really need to change your username, I would suggest you delete your account and create a new account.
I see your account does not have any runs yet, so there should be no lost data, but we can transfer your data over to the new account if you have logged any data.