When I look at torrents on the net many video files ends with a .avi-extension, though they are xvid or divx (And have xvid/divx in the name). (Why?). Avi shouldn't really be involved in the process. What should I do if I want to download and share it on?