✏️ Editing: ServerMailListItemType.php