Go to documentation repository
You can export the archive in the .exe format using the AviExport utility (see The AviExport utility).
If you have problems playing back the archive exported in the .exe format, you can extract the video from the .exe file and watch it separately.
...