One suggestion: some of us have ffmpeg, so we can use that to convert individual images to movie files.. just need a hotkey to execute a script we can modify. Perhaps being able to pass as an argument to the script the path to the where the images were last saved and the frame range is maybe all we’d need, e.g.
/some/where/foo.%04d.png 1 200
..where 1 is the start frame, 200 is the end frame, and %04d is the frame padding indicator.
If there’s an .xml, .json, or some other text file that has the info we need, that could work instead.
This would allow advanced users to output movie files in various formats without it having to be compiled into animation paper.