I think in this particular case it would be better to move them to the docfiles?
Sure, agreed. Moved for tonight's build (in upstream TL). Thanks. -k
I think in this particular case it would be better to move them to the docfiles?
Sure, agreed. Moved for tonight's build (in upstream TL). Thanks. -k