AVI is probably one of the widest formats used today, How about a built in converter.
as it is there are plenty of other choices, some even are Firefox free add-ons but if a convert to AVI file format was included in this software then I would say yes I will definitely use this.
But as it is there are free plug-ins for Firefox that do this job in exactly the same way.