Turn JSON arrays of objects into CSV with headers.
Paste a JSON array and export a CSV string with stable column order.
