Help options are wrongly described as "aliases" when they have the same description. (#1748) · Issues · pub / frama-c