Change JSON indent size?

[jrlanglois]

You can have a look at this old-ish formatter I wrote: JSON String Formatter

This would obviously be a post-process of the JSON…