gifski | Batch Downloader

Highest-quality GIF encoder based on pngquant.