![](https://secure.gravatar.com/avatar/c3c4ce72a68266355f51f0006a576199.jpg?s=120&d=mm&r=g)
17 May
2017
17 May
'17
11:49 p.m.
Pali - I regretfully backed out the new feature long ago, as I said. I cannot contemplate this further for TL17. Sorry. I did my best to fix possible crashes in cases of pathological input in the current code (in the TL repository for now). --best, karl.