Eliminate AsciiDoc from Lecture 3