Comment by jamesbvaughan

They're actually not videos! They're using asciinema: https://asciinema.org/, which is rendering actual text in the webpage - try selecting some while the recording is playing.