title: Is there a way to mention a user (blue highlight) without actually pinging them?
body: <p>Is there a way to mention a user in Discord without actually pinging them? I wouldn't want something like a role ping because you would have to delete the role, and when newer people view it, it would be seen as @deleted-role. </p>
  
  <p>Also tried unicode and that didn't work. Checked other libraries, and nothing. I found a bot that could do it, but checking it's message.content showed nothing, and D.JS's v12 feature <a href="https://discord.js.org/#/docs/main/v12/typedef/MessageOptions" rel="noreferrer">disableMentions</a> only inserts a thin unicode character to break the mention, which results in something like <code>&lt;@id&gt;</code>, or <code>&lt;@(really_small_unicode_char)id&gt;</code> (@\u200b).</p>