Tools to ease the translation of documentation
