===> Cleaning for tex-autonum-doc-0.3.11