Every mention of Isabelle across the entire archive — with clickable timestamps to jump straight to the source.
1 video containing this reference