Replacing ffmpeg.wasm with WebCodecs: a 1080p export from 10.3s to 2.6s

I maintain a browser-based video editor. Everything runs client-side — no upload, no server — which...