[FEATURE REQUEST] On Discord accounts (or other platforms that have display name != username), have an option for names to be formatted, ex. `Display Name (@username__)`

[SwirlyStone5877]

Is your feature request related to a problem? Please describe.
Yes, I find it hard to ping Discord users from a Matrix bridge if I can't see their username, and vice versa. If I only used usernames, it would look ugly to both me and the people on the other side.

Describe the solution you'd like
The simplest way to explain this is with an example. I'd like something like NickFormat="{DISPLAY} (@{USERNAME})" to be able to put under a [discord.accname] or [matrix.accname] in my config. such that it becomes the format for the {NICK} in RemoteNickFormat.

Describe alternatives you've considered

1. have a table file of usernames and display names on hand - ????? what was i even thinking
2. enable UseUserName - looks ugly, but functional

Additional context
None.

[selfhoster1312]

So by default Discord only shows display names, but only usernames can be used for ping? Is my understanding correct?

[SwirlyStone5877]

Correct.

EDIT: Theoretically you could also use the Discord user's ID (ex. <@123456789012345678>) but that's even more troublesome...

[selfhoster1312]

Asking about UX: so when i click someone's nick to mention them on Discord, it will appear in the chatbox as @username instead? Or do they perform a silent conversion where it's still shown as the display name but sent as username on the protocol level?

[SwirlyStone5877]

Silent conversion, I believe.