Reduce file size by re-encoding. Pick format and quality, then download. All processing happens in your browser.