Convert non-ASCII characters to HTML entities early in the process to avoid "UnicodeEncodeError: 'ascii' codec can't encode character" and ensure proper display in the resulting HTML.
Convert non-ASCII characters to HTML entities early in the process to avoid "UnicodeEncodeError: 'ascii' codec can't encode character" and ensure proper display in the resulting HTML.

TODO: title tags

HJLebbink/x86doc,HJLebbink/x86doc,HJLebbink/x86doc