in util-cell-enumerate.py [0:0]
def renumber(cell): if cell["cell_type"] == "code": return renumber_code_cell(cell) else: return cell