[auscompgeek]

You may be interested in https://nbedos.github.io/termtosvg/ - it can take asciinema recordings and turn them into animated SVGs.