tinytexie leaks