in util-cell-enumerate.py [0:0]
def parse(path):
with open(path,'r',encoding='utf-8') as f:
data = json.load(f)
data['cells'] = [ renumber(x) for x in data['cells']]
with open(path,'w',encoding='utf-8') as f:
json.dump(data,fp=f,indent=1,ensure_ascii=False) # indent=1 is surprising, but that seems to be default.
f.write('\n')
return