FYI your current demo is 25MB. Not sure if you used gifski but usually it's super helpful for making gifs smaller

Ffmpeg can output a gif. The only difficult part might be figuring out which options you need to get the quality you want.