Other image editing software tools could have uncomplicated solutions to promptly size and compress a batch of images: JPEGmini is really a free online image optimizer services. It supports most of the popular formats. https://www.hawkping.com/