Download video as MP4, MP4 (HQ), WebM, or Ogg.