[ci skip] Add Doc of with_options for the case when inherited default options and original options have same keys