Re: [MacPorts] #4080: TeXShop: use default TeX installation