Surprisingly, yes, the video is exported as a sequence of JPEGs: https://jsbin.com/wodusuzeja/1/edit?js,output

As for the tool, ffmpeg seems to work well enough.