The sole anonymous Twitter employee who spoke out against Trump’s ban internally.