restoring tex.snippets