Revert "TeX3"

This reverts commit 35928e9a635d82c2cb1f38950a7a7048e87314ef.