3 ms·That is a large understatement. TexLive is like 4GBby kibibu 9y agoThat is a large understatement. TexLive is like 4GB