scratch space for tei snippets