Twitter-Technikchef kündigt einen Tag nach Pannen bei der US-Präsidentschaftskampagne von DeSantis