Adding documentation for HTMLBook comments.