Earlier today I found out about an alternative to screen recording, asciinema.
It was quite easy to install under Debian by grabbing the package python3-pip and and using it for fetching the application.
$ sudo apt-get install python3-pip
...
$ pip3 install asciinema
It's about 20 minutes back and forth in the REPL showing how to reach text files and the shell commands.