There are two reasons I decided on zipping the video files: (1) you would want a "real" streaming server for a streaming-type of behaviour
(2) I know a number of users who would find it difficult to save a video for offline-viewing, once they have it playing inside their browsers.
Do you agree? I am happy to learn something new here as this is, as we mention somewhere in the text, the first time we host any video content. And by the way, my email address is given at the bottom of the page you are referring to and I only found your comment accidentally.