Issue found on page 'Loading JSON': json_reader parameter 'records' lists default value 'records' but only "auto", "true" and "false" as allowed values.

[rpbouman]

The json_reader documentation describes the reader parameter "records" as follows:

`records | Can be one of ['auto', 'true', 'false'] | VARCHAR | 'records'

(see: https://duckdb.org/docs/data/json/loading_json#parameters)

The documentation contradicts itself by listing the allowed values "auto", "true" and " false, while also stating the default is "records"

Either list "records" as a valid value, or fix the value that is passed as default.

Page URL: https://duckdb.org/docs/data/json/loading_json#parameters
`