✏️ Editing: IPPoolManager.php