Restore TeX-Basic, which was changed on the master branch.