✏️ Editing: reporters.pyi