Example of json_array_elements - Mailing list pgsql-docs

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/12/functions-json.html
Description:

Maybe this example for json_array_elements is wrong?

select * from json_array_elements('[1,true, [2,false]]')

It seems to me that it should be

select * from json_array_elements('[[1,true], [2,false]]')

Thank you for this extraordinary documentation!