Just a suggestion:
If Discord server contains users Red, John and Mack, you'd normally highlight them via @Red etc. This works from IRC too, except that IRC etiquette for highlight differs somewhat, on IRC it's customary to write Red: message or Red, message.
Would be pretty cool if these could be detected and replaced on the fly as @Nick.
Matching without the colon or comma wouldn't be a good thing however, as that would probably lead to multiple false matches.