Lecture23 html updates