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