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.
When you say 'correspond to device pixel ratio', do you mean 50% scale when on retina e.g.?