New display names are not used

[Fabian42]

If a Discord user has one of those new names without #0000, the bot calls them by their @-name instead of their display name, which might be very unfitting if others were already taken (pretty stupid system in general). Only the name set in "server profile" actually works, but that would have to be set manually for each group by every user, even if it's identical to the display name. The useNickname setting does not affect this.
Proposed fix: Use display name whenever useNickname is false or no nickname is set. This doesn't even need a new setting to use the @-name, because from what I've seen so far, nobody likes that new system, so the internal username should not matter.

[Fabian42]

Potentially relevant messages, forwarded from someone else:

APIs are now deprecating any functions/methods that involve the user discriminator
https://cdn.discordapp.com/attachments/173877869640941568/1118008059659309138/image.png
on another related note there are updates to the name retrieval methods
https://cdn.discordapp.com/attachments/173877869640941568/1118012217036652574/image.png

[Lulalaby]

On which d.js version is that available

[Lulalaby]

Afaik the pr for that was pretty new (last days), so I didn't do anything yet