===> Cleaning for tex-thmtools-doc-76