More support for grabbing TeX source