You can use FFMpeg locally to achieve much faster results.
This tool performs the following action in your browser: fmpeg -i input.webm -vf scale=1280:720 output.mp4
You can use FFMpeg locally to achieve much faster results with either option.