[Dillo-dev] Re: bug: non-ascii characters not displayed correctly in the title bar