Users should be able to use JSONOptions.with_options just as they do CodecOptions.with_options to conveniently change the configured options when dealing with extended JSON. Currently, the only way to do this is to construct the entire JSONOptions from scratch which is quite cumbersome.