Video editing tools come and go, but one stalwart in a sea of applications in VirtualDub. The free AVI editor continues to be a handy utility, even with the rise of better container formats such as MP4 and MKV (which VirtualDub doesn't support). If you have an AVI you want to quickly convert to a GIF for use online, VirtualDub can help.