The avi codec that you select can make a big difference to the quality of the exported avi file (and also the size of the file).
We recommend using the Xvid codec, which must be installed separately and is available from https://www.xvid.com/download/.
The Xvid codec produces a good image quality at relatively small file sizes.