Tools for working with (pdf)TeX files