Minify json

[joschahenningsen]

I noticed that the json produced is "human readable", an (additional?) minified version could save up to 75% size. Mobile apps could benefit from this.

Tests using jj:

$ cat all.json | wc --bytes
> 3614120

$ jj -i all.json -u | wc --bytes
> 923447

Even adjusting for gzip this could save about 50%:

$ cat all.json | gzip -f | wc --bytes
> 107019

$ jj -i all.json -u | gzip -f | wc --bytes
> 50856

[COM8]

Agree. This is a good idea.