Twitter files show the FBI had 80 agents assigned at Twitter headquarters.