Comment by alprc

I've tried this software and it is super practical, it outputs a nice h264 encoded mp4 file. Configuring video FPS (currently defaults to 15) and having an option 'correspond to device pixel ratio' would be nice though.