Add explanatory comments to the tricky conditionalized TeX installation code