Feature Request: Option to reduce exported GIF file size

[meiiie]

Summary

Track an option for reducing the file size of exported GIFs (quality / compression trade-off or equivalent control).

Motivation

Issue #205 combines this with a separate macOS menu-bar / dock track. GIF size and export quality controls are an export-pipeline feature with their own implementation path, so this is easier to move forward as a focused issue.

Requested behavior

• A way to trade visual quality for smaller GIF file size at export time. Reported by @santynaren in Menu bar Icon and GIF size #205: high-quality GIF exports look good but produce large files, and there is currently no in-app control — users either accept the larger size or reach for an external compression tool.
• Options worth considering (non-exhaustive): a quality / compression slider, an optional target file-size mode, or a palette-depth / dither control.

Related

• Split out from Menu bar Icon and GIF size #205