<div dir="ltr"><div><br></div><div>Marcel points out that you can use the integer as used for TeX's \write, as the first argument of texio.write (which is a nice feature) Could the manual be updated to mention this, currently it only documents the first argument being a string such as "log"</div><div><br></div><div>David</div><div><br></div></div>