Decided it would be less work to just re-record the tutorial and instead of trying to figure out what sort of graphical screen recorder was going to work for me, I just used ffmpeg. Should probably stick the command into a 1 line shell script with a nice name so I don't have to look up the options I need next time.