I'd really like to see a public statement (hopefully a denial) by Google about this. As a matter of policy large tech companies often don't discuss how they track down leakers, or even permit speculation about it.