Current style of quoting does not provide jumplinks to users. Not a huge issue, but for data cleanliness, we would want to associate the UID of speaker and quoter with the quoted message. In the case above, disambiguate cz.
Downside of this is that using the @ may trigger notifications (which we don't want).
Current style of quoting does not provide jumplinks to users. Not a huge issue, but for data cleanliness, we would want to associate the UID of speaker and quoter with the quoted message. In the case above, disambiguate
cz.Downside of this is that using the
@may trigger notifications (which we don't want).Perhaps we can implement this with: https://discordpy.readthedocs.io/en/latest/api.html#discord.utils.escape_mentions