A JSON formatter with folding and smart copy/paste.