Improved Video exports

Video exports use the veryslow encoding preset

Generated videos use the veryslow H.264 preset with a two-thread limit.

Screen recording MP4 downloads and podcast videos now use the veryslow H.264 encoding preset. The two-thread limit remains in place for each export.