If it was a three letter agency, surely they have little motivation to leak it publicly? I feel it would be more strategic for them to keep the information to themselves since presumably no one outside of GFW development knows the exact details (until now).