We didn't coordinate directly, but when people were telling me that the site was going down and I saw that it was less than 20 GB, I would rate my personal panic at a two out of a scale of 1 to 50. I figured some of the copies we already had would have almost all of it, and then they went ahead and made an easily downloadable version as well. This was hardly a four alarm fire. Happy to hold multiple copies of it going forward.