Ignoring TeX detritus.