===> Cleaning for tex-plex-doc-2023