HTMLDOC 1.9.11 fixes some bugs and adds high-resolution desktop icons for Linux.
- Added high-resolution desktop icons for Linux.
- Updated the internal HTTP library to fix truncation of redirection URLs
- Fixed a regression in the handling of character entities for UTF-8 input
--numberedoption did not work when the table-of-contents was disabled