Bot for mentioning unmentioned user names and nicknames in Slack