Move TeX to another repo.