Do you know how long it ends up taking to install just `texlive`? I ended up doing all this rigamarole around docs/tex solely because it was taking 10+ minutes to install tex-related bits, but I'd happily add that back and simplify our lives if it's fast enough ...