Use Firefox with VideoDownloadHelper extension to rip the video, preferably the 3840x3840. You may need to select the quality manually in the video to make this appear in the download list. For me, the audio didn’t download, so I used MP4BOX to rip the audio from a lower quality copy of the video, and mux it into this…