Documentation for tex-translations.