===> Cleaning for texlive-collection-binextra-2023pre3