HEE HEE..you didn’t even need the article. (WAPO doesn’t mention her)
You got it right.
Interesting that the WaPo article never mentioned Gorelick....