On 11/16/2017 11:03 AM, Kevin Fenzi wrote: > I'm not sure what more we can do... While not solving this immediate problem, I am working on redoing the texlive package to make it less evil, in my spare cycles. ~tom _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx