Sort:  

Haha yeah, I recently created a tutorial for our manubot software and exported it to GIF and animated SVG.

I gotta get back to my PR to add a --speed option to svg-term-cli, which is the utility for exporting asciicasts to SVGs.