[ET Trac] #2773: make CarpetX-ThornDoc is confused in InterLatex.pl