Documentation for tex-translator.