SortLibGui: help messages added to FormulaView