How to convert recorded video to .avi format?

First export the desired recording. Then run Player.exe located at [CD]...\Utility\Player with converter\Player.exe. From the option menu select "Convert to AVI".