3 ms·https://asciinema.org https://asciinema.org is a great alternative to providing animated gifs.by pvorb 8y agohttps://asciinema.org https://asciinema.org is a great alternative to providing animated gifs.