JSON Formatting

Not yet described.