SnuggleTeX + minor improvements