* Make dump.json easier to debug, and re-indent delete.