For most of the videos, we do have screen recordings (e.g. see https://www.youtube.com/watch?v=VW2jn9Okjhw).

Sadly, we're missing screen recordings for a couple videos (such as the shell video, where we had some issues with the screen recording software). We're thinking of re-doing some of those videos in a screen-cast style so that they'll be more useful for viewers.