I tried to build the docs to play a bit with the chm generation, and noticed that the docs don't build for me. (trunk as of today, but also with a few weeks old build)

Reason: the generated messages.inc has an \end{itemize} too much. (iirc just before the symbol handling section, iow at the end of the "type checking errors" section.