Было бы неплохо и видеолекции снабдить таким поиском.
Может быть тогда электронная книга со звуковым сопровождением типа голос за кадром, в которой формулы и текст появляются не сразу, а по мере повествования. Или можно ввести рисованного мульт-персонажа, который будет бегать возле рисованной доски, записывать формулы и произносить текст. При таком способе текст будет выверенным без импровизаций и формулы будут ровными, хорошо отформатированными, не как мелом на доске. Софт для таких рисованных лекций может развиваться в сторону интерактивности, и мульт-персонаж сможет отвечать на вопросы. Его можно будет остановить, сказав голосом: "Стой, вот здесь мне непонятно, изложи подробнее".
Наше российское Минобрнауки, к канадцам это не относится, могло бы финансировать подобные разработки, вместо того, чтобы прогибать всю страну, заставляя писать РПД, ООП, и множество других малополезных и местами откровенно бредовых формуляров, затрачивая немеряное количество времени.