Location of LaTeX dtx sources?