Tools for working with TTX files (a translation document format)