Last thing I did Friday afternoon was put in a new system for downloading certain popular files; unfortunately I didn't test it well enough and a few people have been getting downloads cutting off after a few minutes. Woops. Thanks to all those that reported the problem; it should now be fixed.