MIX10 Hi-res videos are back online

Apparently the MIX10 videos are being such a huge success that the servers had problems delivering them to all who were interested in them. The problem was such that the site was closed altogether and only the low-res videos were made available a few hours later. Today I found out that the high resolution videos are back online (thankfully). Now, let's go back and finish downloading them all...