On 2015-11-20 08:54, Norbert Preining wrote: > Besides that, in about 10000 other locations - TeX Live is too big > to do this kind of single-file single-package changes. Fine with it, but let's do better marketing for texdoc! :~)