===> Cleaning for tex-translator-doc-1.12d