I have exported the lecture notes to html