JSON / CSV

Convert between JSON arrays and CSV tables for export and collaboration.