There is an online tool you can you to compress a .jpeg, .png, .gif, and mp4 files.  Go to https://ezgif.com 1. Choose the OPTIMIZE tab at the top of the page (red arrow) and then select GIF PNG JPG or [...]