s-expressions version of CLHS sections, which will be used to generate the HTML.