✏️ Editing: modules.pyi