@simon Nice.

Little note: on a recent curl, you can POST JSON with `curl --json <string>, saving the header setting.
Also, `--no-buffer` should no longer be necessary.

Update: `--no-buffer` always `fflush()`es the output in curl. So it might still be beneficiary.