Just discovered svg-term-cli, which allows to turn asciicast into SVGs. Since I prefer not relying on external resources, I am now using it in this post instead of using a JS embedding pointing to asciicinema.