AVI Is clearly NOT the way to goIf you want to produce a quality .avi file, you'll need to experiment with the codec choices. Shown above is the result from Popims Animator's default export to .avi format. Not pretty.
You can select your codec from an extensive drop-down menu after naming your file and clicking Save. I found the Microsoft MPEG-4 Video Codec V-2 worked quite well for most of the PC video players I tried it on.