docs/lecture: polishing.