Some Discord usernames can't be pinged

[Fabian42]

Apparently the bot reads out Telegram pings and translates them into Discord pings. But four letter names don't exist on Telegram, so there's no ping there.

There are also other cases, for example Discord usernames with a space in them.

[Lulalaby]

Issue Check

• Can this issue be closed
• Does this issue still needs attention

[Lulalaby]

Automatic issue close

Your issue was automatically closed. We currently clean-up the issues to keep track of confirmed bugs. If this bug is still valid, please open a new issue.

See https://github.com/TediCross/TediCross/issues/256 for more details.

[Fabian42]

not fixed, reopen

[Lulalaby]

Dup #161