The grammar in https://www.json.org/json-en.html https://www.json.org/json-en.html disagrees. It has json element element ws value ws ws ‘0

The grammar in https://www.json.org/json-en.html https://www.json.org/json-en.html disagrees. It has json element element ws value ws ws ‘0009’ ws