![](https://secure.gravatar.com/avatar/c3c4ce72a68266355f51f0006a576199.jpg?s=120&d=mm&r=g)
13 May
2018
13 May
'18
3:33 p.m.
Hi Joseph, David, and all - thanks for your hard work on this. I don't foresee a problem. I'll merge this into the pdftex and TL repos as soon as I have a chance, and confirm/get back with any questions. --karl.