Dear reviewers, I have uploaded a new version of json-editor.js, which addresses many of Paolo's concerns. It can be downloaded from https://mentors.debian.net/package/json-editor.js, and the git repository is available at https://salsa.debian.org/joelcross-guest/json-editor.js.
- Joel Cross