Being able to export to video was a much-requested feature for the longest time and it is finally available! Still a bit rough but functional!
This is a companion discussion topic for the original entry at https://jd.boiv.in/post/2022/10/23/video.html