Compress documentation image/gif space #568
Description
In the docs/images folder, there are a number of .png and .gif that are larger than necessary (due to longer demo time, higher resolution, etc..) It would be spatially optimal to reduce the size of the docs/images to reduce the overall extension size.
