Deal with filtering text properly when filter is a mention

Discord user mentions are shown in one of two ways: `<@userid>`, and `<@!userid>`. If a user sets up a filter, what's added to the database is a random one of the two styles. Thus, when users are mentioned with the OTHER style, they may still get a DM for it.