let help = "after the analysis, try to remove redundant alarms, so that the user needs inspect fewer of them"