Re: Location of LaTeX dtx sources?