We looked at using ffmpeg.js too since we wanted faster-than-real-time and constant frame rate rendering. It's too slow though, so we went with MediaRecorder in

We looked at using ffmpeg.js too since we wanted faster-than-real-time and constant frame rate rendering. It's too slow though, so we went with MediaRecorder instead. Thanks for the suggestion on the export screen!