The standard JSON (not line-delimited) output is an array with a "null" element as the last element.
I don't really like it, but it seems necessary if we're doing parallel writes to stdout and JSON doesn't allow trailing commas. So I don't think that part is considered part of the stable output. Maybe it could be tweaked to show stats, or something else, I don't know. Thoughts? -- unsubscribe: one-click, see List-Unsubscribe header archive: https://public-inbox.org/meta/
