RequireOrder: do not collect unrecognised options after a non-opt