Lecture for 12 September now working

I recorded a new version of the lecture for 12 September. It seems to be working now (and you won’t have to suffer through as many bad jokes as if I were there).