I think the content was initially written for the site using Markdown and later converted into a book. The author mentions in the book somewhere that it was written with Markdown.
Exactly right. I slapped together a little crude Python script that converts the markdown to HTML and wraps it in some boilerplate HTML.