At my most recent EMS job ("ambulance driver" is considered insulting), the younger people couldn't navigate anywhere without mapping it. Some of them brought up being amazed that I could get to every hospital in our area from pretty much anywhere without having to bring it up on my phone (random houses and nursing homes were a different story).
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).