Aside: GitHub seems to dislike your animated SVG for some reason, since it won't play unless I open it manually. I think sanitize=true does that; try hosting it somewhere else?
Thanks for the heads up! May I ask what browser you are using? If there are compatibility issues I may just re-render these as GIFs.
How did you generate this animated SVG terminal screen capture?
asciinema to generate a raw json file, then svg-term to convert it to svg
https://github.com/asciinema/asciinema
https://github.com/marionebl/svg-term-cli
(I ended up moving the SVG assets to GitHub Pages which hopefully fixes the issue others were seeing.)