Looks like the video's are hosted on a mux account. What a surprise. All we need is a simple FFmpeg script and we're good to go. Kids stuff.