25 Jan
2018
25 Jan
'18
11:26 p.m.
the pdfTeX issue can be avoided by applying the attached patch. I installed it (pdftex r793, tl r46443). Thanks again. --karl