Co-editor of the lecture notes here, if someone has a question.