>> What happened to the earlier outcome of the discussion where we
>> decided to keep the stuff from the Build (make install) separate from
>> the stuff from Master?
That hasn't changed, has it?
I was under the impression that texmf is the result of make install.
texmf-dist and texmf-doc aren't.