<div dir="ltr"><div class="gmail_default" style="font-size:large">I've forwarded Ulrike's comment to</div><div class="gmail_default" style="font-size:large"><br></div><div class="gmail_default" style="font-size:large"><a href="https://github.com/tectonic-typesetting/tectonic/issues/924">https://github.com/tectonic-typesetting/tectonic/issues/924</a><br></div></div>