(Efficiently) Extract multiple clips from a long video, possibly with ffmpeg
According to @Gyan, the referenced command does an efficient job, and won't read through MP4s but use an index to jump to the inpoint. So there's no real need to optimize.