If he bans them, they'll just show up as torrents. Or we'll download them from Chinese hugging face.