===> Cleaning for tex-platex-2023