Save as JSON

[rijkvanzanten]

It would be useful to be able to download the pasted / formatted JSON as a file. The flow could be:

• Hit save button or CMD/Ctrl+s
• Enter name for file
• Download file with provided name