How do I @ a user like you did?

@baronvonj@mas.to

Edit: hmm interesting that’s cool