Pruned IE-specific shit