Hi Twitter what's the best animation format for a short 256 colour animation where there's a desire for a fairly small output file but also as simple a decoder as possible it's for uh a reason