3 ms·I'm not sure you grasp what Tex Live is.by sjtrny 12y agoI'm not sure you grasp what Tex Live is.