removed: tex-mode extension