

Are you sure it was previously deleted stuff? I thought the same thing had happened to me but it was due to subreddits being private at the time of deletion then later coming out of private (some weeks or months later) preventing those then privated posts/comments from being deleted. I think running another automated tool again should do the trick at this point.
2 things to note: They want to deport him to Syria or Algeria and not to El Salvador so hopefully he remains free at least.
The judge making this assessment is part of the executive branch and not a federal judge and made it on very literal terms (spineless and ethically bankrupt but not the final decision). Secretary of state said hes is a threat to US foreign policy in writing therefore he can be deported as the law states that he can be deported if the secretary of state says he is a threat to US foreign policy.