Twitter’s Trump ban is permanent, even if he runs for office again (Vox)