Download video as MP4.

Public video metadata, platform context, and a best available MP4 export in one focused interface.