Thanks so much, this is now on my todo list :) I found someone uploaded all of the videos to YouTube! Unfortunately I don't have the disk space to download th

Thanks so much, this is now on my todo list :) I found someone uploaded all of the videos to YouTube! Unfortunately I don't have the disk space to download them at this exact moment (been saving for several months for a couple new disks, not quite there yet) so I've base64-encoded the following YouTube playlist URL to heighten the chances the videos stay up til I can grab them (both to archive them and also because I download videos to watch them - old computer). data:text/plain;base64,aHR0cHM6Ly93d3cueW91dHViZS5jb20vcGxheWxpc3Q/bGlzdD1QTFcxcDdMZkhNTW5ERVQxcjh2Ymo4a1FENHNndXM1dnFZCg== I also found https://www.youtube.com/channel/UCojOYrwehhFpaJfYG3DziHA/videos https://www.youtube.com/channel/UCojOYrwehhFpaJfYG3DziHA/vid..., which has some related videos (that I think were placed on YouTube explicitly).