oh, so like, im not using it as a user tag. for context i'm talking about something in discord and im just casually mentioning it. so is the default behavior for the @ to be a user tag?