[jpm48]

Most likely a combination of asciinema https://asciinema.org/ and https://github.com/cirocosta/asciinema-edit (You can do it by hand as well, but the tools are easier). Use the Quantize and speed options