> I tend to prefer merging it, just for the sake of simplification. I've indeed seen evidence that texmf-doc was very confusing for many people, and it might help users to drop it. Arthur