It turns out that the video exporter is not working for some of our users with specific configurations of browsers and operating systems. I’m working to move the video exporter back slightly, to the version used in 1.16.2. Quite a bit has changed since that version, so it may take a bit longer then expected, but a test version should be available by the end of day tomorrow, with a full release by the end of the week.
Apologies for the inconvenience here. We’ll try to test the exporter a bit more thoroughly in the future.