I have VideoDuke to download a Web video. It downloads as hundreds of 5-s long MPEG-2 Transport Streams (.ts files). They can be individually opened by QuickTime Player, and I could, in principle, edit them and splice them together individually, reassemble the video and finally export it as an...