Export to webm video with original quality

[prototyperspective]

I'm using this very useful software to redub video to other languages for Wikipedias as described here.

Could you please enable export to webm? WebM is a free, open video format and probably the standard on the web and many websites at this point. At least on Wikimedia Commons it's the most used video format.

Currently, I have to first mute the original audio of the video and then write the new audio (I generate an ogg file as output) to it as its new audio track like so:

1. ffmpeg -i "/directory/name.webm" -c copy -an "/directory/name2.webm"
2. ffmpeg -i "/directory/name2.webm" -i "/directory/audio1.ogg" […]

The tool could do the same thing. ffmpeg is already installed with the tool. That this audio is only added to the original video means the video has the same resolution / video quality as before, just the audio gets swapped. The audio channel would also get the correct audio channel language title metadata set so if you select French as output it will set the proper language code that media players can understand.

This would make redubbing videos with the tools much more time-efficient since all these manual steps aren't needed. I don't see why webm exports aren't possible yet, that seems needed.

At a later point there could also be an option to keep the original audio and only add the new audio as a new audio channel to the video. (The problem with that is that the video can become quite large, at least when adding 100 languages.)