Report
In Discord, Vector sometimes outputs @username text, but Discord does not recognize it as a mention (no highlight, no notification).
Example thread/message:
https://discord.com/channels/1192313062041067520/1492645283002318898/1493405419031236749
Reported by: twilsonco (Discord user id: 564270044599812096)
Expected
Vector mentions should be real Discord mentions so users get notified.
Actual
Rendered as plain text @name.
Likely cause
We are emitting @username instead of Discord mention tokens (<@USER_ID>), or mentions are being suppressed by allowed-mentions settings.
Fix
When intending to mention a specific user, send <@USER_ID> and ensure allowed mentions permit user mentions.
Report
In Discord, Vector sometimes outputs
@usernametext, but Discord does not recognize it as a mention (no highlight, no notification).Example thread/message:
https://discord.com/channels/1192313062041067520/1492645283002318898/1493405419031236749
Reported by:
twilsonco(Discord user id:564270044599812096)Expected
Vector mentions should be real Discord mentions so users get notified.
Actual
Rendered as plain text
@name.Likely cause
We are emitting
@usernameinstead of Discord mention tokens (<@USER_ID>), or mentions are being suppressed by allowed-mentions settings.Fix
When intending to mention a specific user, send
<@USER_ID>and ensure allowed mentions permit user mentions.