I've tried pretty hard to get it to work with ffmpeg and mediaRecorder, but both of these options are quite limited at the moment and the results just weren't good enough. Other option would be to go server-side which I don't want to do.
I was unaware the rendering could and was being done client-side! Given the limitations I can see why gif would indeed be suitable format. You've tooled a compelling amount of functionality into something very lightweight and convenient, and that's a more than acceptable tradeoff.
