Download video as MP4, WebM, or Ogg.