Redefine TeX-doc to speed up.