😻 Convert any video file to an optimized animated GIF. Created by vvo on Nov 22, 2014.