How to Make a GIF Fit an Upload Limit Without Losing the Point

You record a short demo, export it as a GIF, and drop it into a form. The form rejects it. The file is too large. Now a task that was finished needs another round of work. You can export again at a sm