[minor] finishing rename of LectureNotes to LectureNote