tools

ttyrec + ttygif: https://github.com/icholy/ttygif