✏️ Editing: pygments.pyi