I’m guessing they’re working on extending video export support, and it sure would be nice to have.
Davinci Resolve though does a great job at exporting, and it support batch exports by loading them into a list of renders to execute. It’s obviously more clunky but on the bright side you then have access to pretty much all formats, resolutions, bit rates etc. Yes, it’ll take more time to line stuff up but once you get the hang of that you can go through it relatively quickly.
I agree though that video exports should improve.