New Discord @ mentions

this is garbage. we color our names for easy sorting and to have colored @ mentions. Adding this new highlight kills this, makes our colored rolls meaningless, and looks ugly. remove this change.