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.

Here's the recording.