Clearly, he based it on the open-source code from GitHub, which simply concatenates the MPEG-TS segments and adds an .mp4 file extension at the end. You can check out my previous work on a download site for the Bluesky platform at https://blueskyvideodownload.com, which runs smoothly and returns the correct video.