Thanks Mojca.<br><br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">you need<br>
to define all the fonts manually in LuaTeX (dummy job; should be<br>
simplified one day).</blockquote><div><br>Would be most welcome indeed.<br><br>Alan<br></div></div>