You can people just have to add the extension to the sharing option. As far as searching for "DivX" files, you can with the Video Meta Search. Just search for a title. Its not that hard.