✏️ Editing: builddoc.py