Support request for providing the TeX Live Docker images

[Karl Berry]

Hi Paulo - does anyone actually use +src/-doc and -src/+doc, that is,
only one or the other? I would expect people to either want "everything"
(+src/+doc) or "as little as possible" (-src/-doc). (Also, src is tiny
compared to doc, and thus presumably relatively unimportant wrt building.)

I'm glad other people have come forward to discuss options. --best, karl.