Upload a video, pick a target resolution, and export a re-encoded MP4 — resized with progressive, aliasing-aware canvas scaling.