The user should not rely on all options always being recognized (in particular not on error). Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@outlook.com>