Download video as MP4, or Ogg.