for #42

where the ignore list wasn't considered before creating mention alerts.