>>83245138If it's already pre-trimmed, then no. You'd just need to remove the sound and convert the format.
Would probably be better quality if you did the whole thing in ffmpeg though, but we're so constrained by file size here that it's debatably a moot point.