Gifify: Convert any video file to an optimized animated GIFgithub.com/vvo1 pointvincent_s10 years ago