===> Cleaning for tex-tools-doc-20231101c