This was a huge discussion on the Tor blog or subreddit. It was concluded that it is unlikely that they even found one existing key.