===> Cleaning for tex-translations-1.12