Would it be possible to tag a Discord member when their name is mentioned in the tracker feed (or would that be related to the Discord plugin)?