This is related to LIN7-1404 : When I "save defaults" from a previous platform config, those defaults will have a number of options already (like --with-package). When I now add a new "--with-package" option, that option is silently added to the list of options, although an option with the same name exists already. This is very likely to cause configurations that don't behave as expected. When accidentally creating a new option that already exists, it should warn about the existing option and allow me to cancel (throw away my new option) or override (delete the old option) or - in case that makes sense - keep both old and new option.
