Feature request: condensed coordinates in exported JSON

[dlemire60]

Recognizing that CACAO playbooks are primarily intended to be machine readable, there are many times when inspection of the JSON is helpful. The coordinates extension is crucial for any visual CACAO editor, but that content, largely noise when viewing the text, is voluminous, often multiplying the line count of a playbook by 2x or 3x.

Suggest an option for the coordinate extension content to be exported in a highly condensed form to minimize its line count in the JSON. This would enable exporting with coordinates enabled while greatly reducing the distraction factor when viewing or editing the playbook JSON.