For some reason, clicking on it takes you to a lot of other videos.

On Fri, Oct 16, 2020 at 11:36 AM Mark Crispin Miller <markcrispinmiller@gmail.com> wrote:

From last week.

Best download this.

https://www.youtube.com/watch?v=cb5OPxMkTh0&feature=youtu.be