Export to alternative file types

Not sure if this was suggested already but, right now, as far as I can tell it is only possible to export as .mp4, but I’d love to see some options here, these may be:

• Export as webm

• Export as mkv

• Export as mov

Actually the most important one is webm, as it has better compression as mp4 and is optimized enough to use in other use cases, for example web.