Fix-some-issues-with-the-html-documentation.patch
