JSON write-on-demand avoids empty final file edge-case (and also doesn't even open a file if no events occur)
JSON write-on-demand avoids empty final file edge-case (and also doesn't
even open a file if no events occur)

DevicePilot/synth,DevicePilot/synth