make SnuggleTeX usage optional