Reddit bot that monitors all posts and checks if a user gets mentioned, then PMs mentioned user