Comment 2 for bug 801691

Fixing additional-options is difficult now, since it has been a comma separated list for a long time before this bug was opened. In holland 1.1+ option aliases in config files are supported so we can potentially fix this there while maintaining compatibility by providing a separate option name.