All those poor tech CEOs having to quit Trump.