Ok, yeah, I wasn't sure if it would. It might only be in development or something.
Opentoonz IS a powerful freeware. I'm not nearly as well-versed in it as others here are though. There were some export formats that I'm not familiar with in your screenshot. Maybe those are Mac-specific? The Exr, Nol, Rgb and Sgi, are formats I'm not familiar with.
If there are any formats in that list that you are also unfamiliar with, maybe look them up and maybe one might be a video output?
I run a PC so I'm afraid I wouldn't know mac-specific formats and functions.
The FFmpeg site is still down it seems. Maybe someone with a website of their own could temporarily upload their copy of the FFMPEG file for download until the actual site is back up?
I don't have a site, so I can't do it. I've gotta get to bed. But hopefully someone else will be able to help you in these "overnight" hours.
Good luck!