Resolve issues where opening HTML Help files fails due to GB 18030 or Unicode characters.

More...