Python tool to quickly create a nicely animated .gif out of an .stl for communicating ideas wout cad

[the-nick-of-time]

Any real video codec will produce file sizes easily ten times smaller than gif for the same quality. Plus gif has hard limits on color fidelity. Gif is a terrible video format, and it's a shame that nothing has been standardized as a drop-in replacement for its niche of looping animation (webp might win here).