The Python stuff is cool, but I was actually more excited about asciinema[0], the tool they used to make the demo video.
It actually makes ascii move around so that someone can pause the "video" and copy/paste out of it! Thats so cool!
Asciinema has the fatal flaw that it is dependent on their server. When they go under so do your recordings. There are other options out there that can handle playback of traditional console recordings without such dependencies.
It is fairly easy to set up your own: https://github.com/asciinema/asciinema-server