Can I change my Replit username?

[anon40284853]

Please remember the following (I did this once too):

What happens if I change my Replit account name?

I got impatient and did it without an answer. You retain your followers, but all @ mentions anywhere are then immediately made wrong, even in comments, because it is linked to a now nonexistent user. I am now @anon40284853 in Replit. As @not-ethan said, you have to log out and back in again for these changes to affect Replit Ask.