Image Optimizer (64-bit) Gallery feed (extension)

Uses industry standard tools to optimize any JPEG, PNG and Gifs - including animated Gifs. Can do both lossy and lossless optimization.