Huge resolution GIF

[slezica]

I'm rendering a very short session (under 200 frames), which results in a massive 15mb GIF with a resolution of 1552x920.

I can post-process the file using gifsicle and significantly reduce its size, but scaling it makes the text blurry no matter the filter.

It would be nice if I was able to specify the rendering size in the first place.