JSON has become today's machine-readable output format (on Unix)