You can copy paste exactly what they said their discord name is. You can copy paste any foreign characters. If there are any characters that you can’t copy paste, then discord wouldn’t allow those characters to be used as a username in the first place.
That’s a good suggestion. Highlighting the username from the LP bar and allowing to copy it to clipboard. That I will agree is a good suggestion.