Instead of using `json.dumps()` to format the JSON, we should use whatever the IPython Notebook uses so the file changes as little as possible.