How can I download attachments?

If you scroll down to the bottom of the page where the video is being played you'll be able to see all the attachments to the video, under the words "Available files"; just click on the one you're interested in to download it.