According to the Slack docs, I should use <@W123> syntax. However, this turns into @joe, which alerts joe that someone messaged them. Is there any syntax like <W123> that resolves to just the user's display name?
(I am aware that I could use user.info, but so far I've avoided making any API calls and I was hoping I could keep that going.)
Got a response from @SlackAPI on Twitter. Unfortunately, there is no markdown-y way to do this. On the plus side, they have a good sense of humor.