TextExpander snippet: file header (long)