That's cool. Suggestion: you can use asciinema [0] for recording a terminal session instead of using GIF file.

[0]: https://asciinema.org