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.
In the
docs/imagesfolder, there are a number of.pngand.gifthat are larger than necessary (due to longer demo time, higher resolution, etc..) It would be spatially optimal to reduce the size of thedocs/imagesto reduce the overall extension size.