bookmarklet:
json-indent