That exercise also led me to discover that most JSON developer tools aren't worth the download, and that I probably needed to know quite a bit more Python ... saving the edited file as .json ...