3 ms·

I just pointed youtube-dl at the original URL and it detected and downloaded the embedded .mp4 just fine.