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.