Alien Enemies Act. Google it.
Yes activist judges, like the ones who wanted him deported?
You think it's only activist judges that order illegal immigrants to be deported? To be clear - he wasn't ordered to be deported because he was determined to be MS13. He was ordered to be deported because he was an illegal immigrant.
BlueSky would ban his account as well. It was banned in Turkey because of a legal request by the Turkish government. If they don't comply there are huge legal consequences.
Would BlueSky, the huge fans of censorship that they are, challenge the decision in court like X are though? Not a chance.
Edit: seems bluesky have already banned his account lol
https://bsky.app/profile/ssg.dev/post/3lmuz3nr62k26