Re: is tetex needed in core?