Prefixing `@` symbol in the usernames

But that adds the @ symbol (also) to the user’s full name. I don’t get the idea…