God bless whoever did the subtitles. Knuth's clarity of thought is unsurpassed, but, for me at least, actually hearing him speak is like the opposite of ASMR.