Comment by ronilan

To generate GIFs use: https://github.com/dstein64/gifcast Works in the browser and locally. No install needed.