Gifify: Convert any video file to an optimized animated GIF | Product Hunt