✏️ Editing: jsontools.py