Documentation exported as Word file or HTML (#1508)
The export of a documentation results in a horribly formatted word document.
Headings are formatted using numbering with the result, that the contents is wrong if a glossary is used. Documents seems not issued even if they are added.
Same is for HTML, but the numbering is missing their.