Tip: ImageOptim can dramatically reduce the filesize of exported gif images (see https://imageoptim.com/versions.html)
Thank you for Decker! I'm absolutely LOVING it!
