I did use asciinema for creating the demo, but since there is no support for it to play in markdown, I went ahead and created a gif using agg.