It's been in the GB range when I used it in the early 2000s. Always wondered tha...

		_pmf_ on April 30, 2019 \| parent \| context \| favorite \| on: TeX Live 2019 It's been in the GB range when I used it in the early 2000s. Always wondered that myself.