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

Reply via email to