Yeah they should've just used asciinema where you can actually manipulate time, and copy/paste directly from the video.