3 ms·I wish asciinema was used for these instead of the gifs in article, GitHub, etc.by ornornor 4y agoI wish asciinema was used for these instead of the gifs in article, GitHub, etc.