Documentation for tex-translations.
