Come salvare un GIF da ImageReady

Da qualche parte, in giro per il ueb, ho incrociato un messaggio di aiuto. Peccato che fosse di 11 mesi prima, e che la richiesta fosse "conclusa". Che significa che non erano più accettate risposte al quesito.
La richiesta era all'incirca:
quando devo salvare (ottimizzato) il mio GIF (che sarebbe un'animazione) il programma mi propone di tutto, ma non mi propone il GIF.
E vi cito testualmente quello che lui dice:

Quando clicco su "Save Optimized As", sono disponibli solo 3 estensioni di salvataggio:
- jpg (Images only)
- html (html and images)
- html (html only )

Non vi sto a dire quale fosse la risposta (unica) che aveva messo fine alle tribolazioni del nostro amico. Cioè, no, ve la dico:

Miglior risposta - Scelta dai votanti
Ciao infatti quelle immagini gif non si posso salvare si possono solo vedere se fai l'htlm

Che naturalmente è una boiata. Se io penso a quel poveretto che da 11 mesi si smazza a scaricare pagine html per vedere la sua animazione ridotta ad un fotogramma, cioè inanimata, in quanto salvando un JPG si salva solo il fotogramma corrente, beh ...
Così, per evitare che altri non sappiano come cavarsela, ecco come fare.
Puo' succedere che ImageReady non ti fornisca fra le opzioni di salvataggio il GIF.
Succede in quanto, sul pannello Ottimizzazione, è stato selezionata, come estensione, un JPG (o un PNG o altro). Basta andare col mouse sul pannello Ottimizzazione (Optimize), cliccare sulla freccina accanto alla paroletta JPG e scegliere, nel menù a comparsa, la paroletta GIF (vedi immagine lassù).
A quel punto, quando cerchi di salvare (salva ottimizzato come), si che ti propone un .GIF
Puoi anche usare la zona Impostazioni, per fare la stessa cosa. E non sto a mostrarla che ho penuria di spazio per le immagini, ma tanto la si vede, sempre lassù.

Se poi vi servono consigli sull'ottimizzazione, magari ci metto un altro post.
Ma post, non or.