<div dir="ltr"><div class="gmail_default" style="font-size:small">Hi David,</div><div class="gmail_default" style="font-size:small"><br></div><div class="gmail_default" style="font-size:small">Thank you for the clarification.</div><div class="gmail_default" style="font-size:small"><br></div><div class="gmail_default" style="font-size:small">I hope there&#39;s going to be someone or a team of people, who will convert the TeX version to UTF8, and also be able to judge the accuracy of the text.</div><div class="gmail_default" style="font-size:small"><br></div><div class="gmail_default" style="font-size:small">Teus.</div></div>