Deleted a lot of TeX code to get a better language statistic.