Agreed, although I wish that animated gif was instead real text, using something like playterm[1] or asciinema[2]. [1] https://playterm.org/ https://playterm.o

Agreed, although I wish that animated gif was instead real text, using something like playterm[1] or asciinema[2]. [1] https://playterm.org/ https://playterm.org/ [2] https://asciinema.org/ https://asciinema.org/