<div dir="ltr"><div class="gmail_quote"><div dir="ltr">a patch that seems to resolve it on my system. presumably, it also reintroduces 'the Unicode issue'. Also, it does not document the change. Also I need to work on my mailing list nettiqutte.</div></div></div>