Come comprimere le animazioni GIF? Ad esempio riducendo l'indice di colore.
I file vengono generati utilizzando Imagemagick ma l'ottimizzazione sembra complicata .
Ad esempio, la seguente animazione è 864 KB a 150x119:
Da utilizzare su una macchina Linux.