✏️ Editing: doctree.py