===> Cleaning for tex-thmtools-76