If no description is given, none will be printed
Now there can be an arbitrary number of names for an option.