Re #6878. Deleting one character fixes the problem.
Merge branch 'feature/6878_html_help' into develop