Yes, I agree entirely with Luc.
Look, I've done a lot of this work, and the identity of the informant, almost nine times out of ten, is irrelevant. What's important is what information was provided and how the agency dealt with that particular person. Their name has very little value added. They could be X, or Smith, or Jones, or Kapoor.