Interesting - thanks for the explanation.
Basically the workflow is
> Extract lines from a JSON file as csv (doesn't matter that a single column csv is pointless)
> edit CSV manually
> Insert CSV again into JSON file at correct position
I'm at step 3. Basically, I am making a dictionary from that updated csv and insert it into the JSON. Probably not the most straightforward way, but I did not expect that I'd stumble over ASCII characters...
