Hello.
Thanks for this forum.
A question: how to change the username in https://huggingface.co?
I ask this question because the username in the forum is that of this site and so, to change it in the forum, I needed to change it there.
However, as I did not find a way to change it in https://huggingface.co/, I had to create a new account (by the way, it would be great if HF deleted my old one that I renamed “delete this account please”).
I guess it has (or it could have) a simpler way, right?