| 16:01 | <nicolo-ribaudo> | I'm a couple of minutes late |
| 17:49 | <Kris Kowal> | This video is not playing for me. Not sure whether there’s another video, or if this is just broken for me and not others. Other videos work. |
| 17:50 | <Justin Ridgewell> | Works for me |
| 17:53 | <Kris Kowal> | Sigh. |
| 18:00 | <nicolo-ribaudo> | Let me check, maybe I have a different recording somewhere |
| 18:01 | <nicolo-ribaudo> | https://www.youtube.com/watch?v=USQ6MOEn0Go |
| 18:13 | <Kris Kowal> | This is working for me. Thank you! |