Re-encoded video to slightly smaller size.