I also thought that encoding an edited MP4 in iMovie would be a lot faster than it is. Maybe I’m holding it wrong…