3 ms·

Thank you for organizing this. It's been a long time since I've listened to these last, and I remember these were enjoyable for Knuth's gentle humor.