As I clicked on the link, my browser redirected to a page that seemed to be loading a zip file. I wasn't sure what to expect, but I was prepared for anything. The page loaded slowly, and I could see a progress bar ticking away. Finally, the zip file was downloaded, and my computer's default unzipper kicked in.